Temporal Logic: CTL
posted by Michael Fourman at 08:15
Tuesday, February 08, 2005
Contributors
Links
Previous Posts
- Finite State Machines
- STRIPS planning
- k-SAT => 3-SAT; intro to ML
- Binary Decision Diagrams/SAT Phase Transition
- CNF: Davis Putnam and variations
- Propositional Logic Review
- First Lecture Today!
- Subscribe to the Atom Feed
Propositional Methods is an MSc course given at the University of Edinburgh
0 Comments:
Post a Comment
<< Home