mu-calculus and CTL
Introduction to translation from CTL to modal mu-calculus.
posted by Michael Fourman at 12:54
Friday, February 25, 2005
Contributors
Links
Previous Posts
- Assignment 1 released
- NuSMV
- Temporal Logic: CTL
- 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!
Propositional Methods is an MSc course given at the University of Edinburgh
0 Comments:
Post a Comment
<< Home