| Publication | Date of Publication | Type |
|---|
Priority promotion with Parysian flair
Journal of Computer and System Sciences | 2024-10-29 | Paper |
Solving mean-payoff games via quasi dominions
Information and Computation | 2024-03-27 | Paper |
Taming strategy logic: non-recurrent fragments
Information and Computation | 2023-09-27 | Paper |
Alternating (in)dependence-friendly logic
Annals of Pure and Applied Logic | 2023-09-21 | Paper |
Quantifying over Trees in Monadic Second-Order Logic
| 2023-04-23 | Paper |
Good-for-Game QPTL: An Alternating Hodges Semantics
ACM Transactions on Computational Logic | 2023-02-07 | Paper |
scientific article; zbMATH DE number 7445162 (Why is no real title available?)
| 2021-12-14 | Paper |
A delayed promotion policy for parity games
| 2021-12-07 | Paper |
Solving mean-payoff games via quasi dominions
Tools and Algorithms for the Construction and Analysis of Systems | 2021-11-10 | Paper |
Towards efficient exact synthesis for linear hybrid systems
| 2021-03-03 | Paper |
Robust worst cases for parity games algorithms
Information and Computation | 2020-05-26 | Paper |
Solving parity games via priority promotion
Computer Aided Verification | 2019-05-03 | Paper |
A delayed promotion policy for parity games
Information and Computation | 2018-09-27 | Paper |
Solving parity games via priority promotion
Formal Methods in System Design | 2018-04-12 | Paper |
Tracking smooth trajectories in linear hybrid systems
Information and Computation | 2017-11-16 | Paper |
Substructure Temporal Logic
2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science | 2017-07-03 | Paper |
Reachability games for linear hybrid systems
Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control | 2017-05-16 | Paper |
Tracking differentiable trajectories across polyhedra boundaries
Proceedings of the 16th international conference on Hybrid systems: computation and control | 2017-05-16 | Paper |
Reasoning About Substructures and Games
ACM Transactions on Computational Logic | 2017-01-30 | Paper |
Timed recursive state machines: expressiveness and complexity
Theoretical Computer Science | 2016-04-01 | Paper |
Dynamic state machines for formalizing railway control system specifications
Communications in Computer and Information Science | 2016-01-06 | Paper |
Automatic synthesis of switching controllers for linear hybrid systems: safety control
Theoretical Computer Science | 2014-01-10 | Paper |
On the dimensions of context dependence
| 2009-08-03 | Paper |
Abstraction Refinement of Linear Programs with Arrays
Tools and Algorithms for the Construction and Analysis of Systems | 2007-09-03 | Paper |
scientific article; zbMATH DE number 5000862 (Why is no real title available?)
| 2006-01-23 | Paper |
scientific article; zbMATH DE number 2088755 (Why is no real title available?)
| 2004-08-12 | Paper |
scientific article; zbMATH DE number 1950649 (Why is no real title available?)
| 2003-07-17 | Paper |
Contextual reasoning distilled
Journal of Experimental & Theoretical Artificial Intelligence | 2003-05-12 | Paper |
scientific article; zbMATH DE number 1759731 (Why is no real title available?)
| 2002-07-22 | Paper |
scientific article; zbMATH DE number 1755764 (Why is no real title available?)
| 2002-06-16 | Paper |
scientific article; zbMATH DE number 1538052 (Why is no real title available?)
| 2001-08-05 | Paper |
scientific article; zbMATH DE number 1396181 (Why is no real title available?)
| 2000-06-13 | Paper |
scientific article; zbMATH DE number 1202873 (Why is no real title available?)
| 1998-09-27 | Paper |
