Keyword:Linear Temporal Logic

Publications
Temporal Answer Set Programming on Finite Traces Pedro Cabalar, Roland Kaminski, Torsten Schaub and Anna Schuhmann EasyChair Preprint 199
A One-Pass Tree-Shaped Tableau for LTL+Past Nicola Gigante, Angelo Montanari and Mark Reynolds In:LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Chains of Integrators as a Benchmark for Scalability of Hybrid Control Synthesis Scott Livingston and Vasumathi Raman In:ARCH16. 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems
Unication Problems Modulo a Theory of Until Shreyaben Brahmakshatriya, Sushma Danturi, Kimberly Gero and Paliath Narendran In:UNIF 2013. 27th International Workshop on Unification