arXiv 2018-07-22 EN Generating an ATL Model Checker using an Attribute Grammar Stoica, Florin · Stoica, Laura Florentina
arXiv 2016-11-10 EN Quantified CTL with imperfect information Berthon, Raphaël · Maubert, Bastien · Murano, Aniello
arXiv 2015-10-27 EN Temporal Logic as Filtering Rodionova, Alena · Bartocci, Ezio · Nickovic, Dejan · Grosu, Radu
arXiv 2015-07-17 EN The Temporal Logic of two dimensional Minkowski spacetime is decidable Hirsch, Robin · Reynolds, Mark
arXiv 2014-10-15 EN Parameterized Complexity of CTL: A Generalization of Courcelle's Theorem Lück, Martin · Meier, Arne · Schindler, Irina
arXiv 2014-06-11 EN Linear Non-Transitive Temporal Logic, Knowledge Operations, Algorithms for Admissibility Rybakov, Vladimir
arXiv 2011-02-10 EN Erratum to: Model-checking continuous-time Markov chains by Aziz et al Jansen, David N.
