| Publication | Date of Publication | Type |
|---|
Verification of hyperproperties for dynamical systems via barrier certificates
IEEE Transactions on Automatic Control | 2025-01-21 | Paper |
The hexatope and octatope abstract domains for neural network verification
Formal Methods in System Design | 2025-01-13 | Paper |
k-Inductive Barrier Certificates for Stochastic Systems
25th ACM International Conference on Hybrid Systems: Computation and Control | 2024-02-21 | Paper |
Quantitative mitigation of timing side channels
Computer Aided Verification | 2024-02-16 | Paper |
Policy synthesis and reinforcement learning for discounted LTL
| 2024-02-01 | Paper |
Omega-Regular Objectives in Model-Free Reinforcement Learning
Tools and Algorithms for the Construction and Analysis of Systems | 2023-11-24 | Paper |
The octatope abstract domain for verification of neural networks
Formal Methods | 2023-08-17 | Paper |
An impossibility result in automata-theoretic reinforcement learning
Automated Technology for Verification and Analysis | 2023-06-02 | Paper |
Alternating good-for-MDPs automata
Automated Technology for Verification and Analysis | 2023-06-02 | Paper |
Optimal repair for omega-regular properties
Automated Technology for Verification and Analysis | 2023-06-02 | Paper |
Model-Free Reinforcement Learning for Lexicographic Omega-Regular Objectives
| 2023-04-21 | Paper |
Faithful and Effective Reward Schemes for Model-Free Reinforcement Learning of Omega-Regular Objectives
1517.68331 | 2022-12-22 | Paper |
Good-for-MDPs automata for probabilistic analysis and reinforcement learning
Tools and Algorithms for the Construction and Analysis of Systems | 2022-10-13 | Paper |
The Reach-Avoid Problem for Constant-Rate Multi-mode Systems
Automated Technology for Verification and Analysis | 2022-08-12 | Paper |
scientific article; zbMATH DE number 7559473 (Why is no real title available?)
| 2022-07-18 | Paper |
Model-Free Reinforcement Learning for Stochastic Parity Games
| 2022-07-18 | Paper |
Selectively-amortized resource bounding
| 2022-06-17 | Paper |
Regular model checking with regular relations
| 2022-05-20 | Paper |
Model-free reinforcement learning for branching Markov decision processes
| 2022-03-25 | Paper |
Improved undecidability results for reachability games on recursive timed automata
| 2021-06-24 | Paper |
Discriminating traces with time
Tools and Algorithms for the Construction and Analysis of Systems | 2020-08-05 | Paper |
Expected reachability-price games
| 2020-05-05 | Paper |
Type-directed bounding of collections in reactive programs
| 2020-01-23 | Paper |
On timed scope-bounded context-sensitive languages
| 2019-10-15 | Paper |
Global Almost-Sure Reachability in Stochastic Constant-Rate Multi-Mode Systems
Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week) | 2018-12-06 | Paper |
Incentive Stackelberg mean-payoff games
Software Engineering and Formal Methods | 2018-07-06 | Paper |
scientific article; zbMATH DE number 6862072 (Why is no real title available?)
| 2018-04-19 | Paper |
FO-definable transformations of infinite strings
| 2018-04-19 | Paper |
Stochastic timed games revisited
| 2018-03-21 | Paper |
Revisiting robustness in priced timed games
| 2017-07-13 | Paper |
From monadic second-order definable string transformations to transducers
2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science | 2017-07-03 | Paper |
What's decidable about recursive hybrid automata?
Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control | 2017-05-19 | Paper |
Bounded-rate multi-mode systems based motion planning
Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control | 2017-05-19 | Paper |
Optimal scheduling for constant-rate multi-mode systems
Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control | 2017-05-16 | Paper |
Regular transformations of infinite strings
2012 27th Annual IEEE Symposium on Logic in Computer Science | 2017-05-16 | Paper |
Safe schedulability of bounded-rate multi-mode systems
Proceedings of the 16th international conference on Hybrid systems: computation and control | 2017-05-16 | Paper |
First-order definable string transformations
| 2017-04-25 | Paper |
A perfect class of context-sensitive timed languages
Developments in Language Theory | 2016-08-30 | Paper |
Expected reachability-time games
Theoretical Computer Science | 2016-05-02 | Paper |
A logical characterization for dense-time visibly pushdown automata
Language and Automata Theory and Applications | 2016-04-13 | Paper |
Time-Bounded Reachability Problem for Recursive Timed Automata is Undecidable
Language and Automata Theory and Applications | 2016-04-08 | Paper |
Symmetric strategy improvement
Automata, Languages, and Programming | 2015-11-04 | Paper |
On pure Nash equilibria in stochastic games
Lecture Notes in Computer Science | 2015-09-30 | Paper |
Weak singular hybrid automata
Lecture Notes in Computer Science | 2015-08-06 | Paper |
Adding negative prices to priced timed games
CONCUR 2014 – Concurrency Theory | 2014-09-15 | Paper |
Average-time games
| 2012-10-19 | Paper |
Playing stochastic games precisely
Lecture Notes in Computer Science | 2012-09-25 | Paper |
Recursive timed automata
Automated Technology for Verification and Analysis | 2010-10-04 | Paper |
Expected reachability-time games
Lecture Notes in Computer Science | 2010-09-10 | Paper |
Concavely-Priced Probabilistic Timed Automata
CONCUR 2009 - Concurrency Theory | 2009-10-22 | Paper |
Concavely-Priced Timed Automata
Lecture Notes in Computer Science | 2008-12-02 | Paper |
Reachability-Time Games on Timed Automata
Automata, Languages and Programming | 2007-11-28 | Paper |
