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