HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

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
Copyright © 2012-2025 easychair.org. All rights reserved.