Prof. Sebastian Sardina
Prof. Sebastian Sardina
Home
Projects
Publications
Students
Awards
Service
Teaching
Resources
Contact
Light
Dark
Automatic
Situation Calculus
Reasoning about action & change
Specification, reasoning, and verification of dynamic systems.
Cite
×