Back to Results
First PageMeta Content
Temporal logic / Logic in computer science / Model checkers / Linear temporal logic / Computation tree logic / Model checking / PAT / Synthesis / Mathematics


Dissertation Reactive Synthesis: branching logic & parameteri zed systems Ayrat Khalimov Advisor: Roderick Bloem
Add to Reading List

Document Date: 2018-05-18 11:56:24


Open Document

File Size: 1,17 MB

Share Result on Facebook