| Publication | Date of Publication | Type |
|---|
| Fair quantitative games | 2025-12-04 | Paper |
| Solving odd-fair parity games | 2025-07-28 | Paper |
| Contract-based distributed logical controller synthesis | 2025-04-25 | Paper |
| Context-triggered games for reactive synthesis over stochastic systems via control barrier certificates | 2025-04-25 | Paper |
| Fair -regular games | 2024-10-30 | Paper |
Fast symbolic algorithms for omega-regular games under strong transition fairness
TheoretiCS | 2024-07-03 | Paper |
| Computing adequately permissive assumptions for synthesis | 2024-04-05 | Paper |
Symbolic control for stochastic systems via finite parity games
Nonlinear Analysis. Hybrid Systems | 2024-03-01 | Paper |
Poster Abstract: Towards Seamless Reactivity of Hybrid Control
Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control | 2024-02-21 | Paper |
Poster Abstract: Permissiveness for Strategy Adaptation
Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control | 2024-02-21 | Paper |
Poster Abstract: A Toolchain for Accelerated Symbolic Control
Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control | 2024-02-21 | Paper |
Lazy Synthesis of Symbolic Output-Feedback Controllers for State-Based Safety Specifications
Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control | 2024-02-21 | Paper |
BOCoSy: Small but Powerful Symbolic Output-Feedback Control
25th ACM International Conference on Hybrid Systems: Computation and Control | 2024-02-21 | Paper |
| A direct symbolic algorithm for solving stochastic Rabin games | 2024-02-01 | Paper |
| Synthesizing permissive winning strategy templates for parity games | 2024-02-01 | Paper |
| A flexible toolchain for symbolic Rabin games under fair and stochastic uncertainties | 2024-02-01 | Paper |
Supervisory Controller Synthesis for Nonterminating Processes Is an Obliging Game
IEEE Transactions on Automatic Control | 2023-09-04 | Paper |
Resilient abstraction-based controller design
Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control | 2021-01-25 | Paper |
On abstraction-based controller design with output feedback
Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control | 2021-01-25 | Paper |
Lazy abstraction-based controller synthesis
Automated Technology for Verification and Analysis | 2020-07-20 | Paper |
On the relation between reactive synthesis and supervisory control of non-terminating processes
Discrete Event Dynamic Systems | 2020-05-06 | Paper |
Compositional Synthesis of Finite-State Abstractions
IEEE Transactions on Automatic Control | 2019-07-18 | Paper |
Multi-layered abstraction-based controller synthesis for continuous-time systems
Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week) | 2018-12-06 | Paper |
Dynamic hierarchical reactive controller synthesis
Discrete Event Dynamic Systems | 2018-01-31 | Paper |
Supervisory control synthesis for deterministic context free specification languages. Enforcing controllability least restrictively
Discrete Event Dynamic Systems | 2016-03-29 | Paper |
Asynchronous l-complete approximations
Systems & Control Letters | 2014-10-27 | Paper |
