Showing 1 - 9 results of 9 for search 'James Worrell', query time: 0.28s
Refine Results
-
1
On the decidability and complexity of Metric Temporal Logic over finite words by Joel Ouaknine, James Worrell
Published 2007-02-01
Article -
2
Two Variable vs. Linear Temporal Logic in Model Checking and Games by Michael Benedikt, Rastislav Lenhardt, James Worrell
Published 2013-05-01
Article -
3
Minimisation of Multiplicity Tree Automata by Stefan Kiefer, Ines Marusic, James Worrell
Published 2017-03-01
Article -
4
Approximating a Behavioural Pseudometric without Discount for Probabilistic Systems by Franck van Breugel, Babita Sharma, James Worrell
Published 2008-04-01
Article -
5
On the Expressiveness and Monitoring of Metric Temporal Logic by Hsi-Ming Ho, Joël Ouaknine, James Worrell
Published 2019-05-01
Article -
6
Game Characterization of Probabilistic Bisimilarity, and Applications to Pushdown Automata by Vojtěch Forejt, Petr Jančar, Stefan Kiefer, James Worrell
Published 2018-11-01
Article -
7
A Static Analysis Framework for Livelock Freedom in CSP by Joel Ouaknine, Hristina Palikareva, A. W. Roscoe, James Worrell
Published 2013-09-01
Article -
8
On the Complexity of Equivalence and Minimisation for Q-weighted Automata by Stefan Kiefer, Andrzej Murawski, Joel Ouaknine, Bjoern Wachter, James Worrell
Published 2013-03-01
Article -
9
Model Checking Flat Freeze LTL on One-Counter Automata by Antonia Lechner, Richard Mayr, Joël Ouaknine, Amaury Pouly, James Worrell
Published 2018-12-01
Article