| Publication | Date of Publication | Type |
|---|
A scalable anytime algorithm for learning fragments of linear temporal logic
Formal Methods in System Design | 2026-02-13 | Paper |
| A framework for computing upper bounds in passive learning settings | 2025-12-15 | Paper |
| Unsupervised automata learning via discrete optimization | 2025-12-15 | Paper |
Analyzing robustness of Angluin's \(L^*\) algorithm in presence of noise
Logical Methods in Computer Science | 2024-06-27 | Paper |
| Robust alternating-time temporal logic | 2024-05-29 | Paper |
| \textsc{Sorcar}: property-driven algorithms for learning conjunctive invariants | 2024-04-19 | Paper |
Adaptive strategies for rLTL games
Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control | 2024-02-21 | Paper |
Analyzing robustness of Angluin's \(\mathrm{L}^\ast\) algorithm in presence of noise
(available as arXiv preprint) | 2024-02-08 | Paper |
| Analyzing robustness of Angluin's \(\mathrm{L}^\ast\) algorithm in presence of noise | 2024-02-08 | Paper |
| Scalable anytime algorithms for learning fragments of linear temporal logic | 2024-01-23 | Paper |
Benchmarks for automata learning and conformance testing
Lecture Notes in Computer Science | 2023-08-02 | Paper |
A survey of model learning techniques for recurrent neural networks
Lecture Notes in Computer Science | 2023-07-26 | Paper |
From LTL to rLTL monitoring: improved monitorability through robust semantics
Formal Methods in System Design | 2023-06-29 | Paper |
Optimally Resilient Strategies in Pushdown Safety Games
(available as arXiv preprint) | 2022-07-18 | Paper |
| Property-directed verification and robustness certification of recurrent neural networks | 2022-06-22 | Paper |
Learning linear temporal properties from noisy data: a MaxSAT-based approach
(available as arXiv preprint) | 2022-06-22 | Paper |
Robust, expressive, and quantitative linear temporal logics: pick any two for free
Information and Computation | 2022-06-08 | Paper |
| Synthesizing Optimally Resilient Controllers | 2022-05-28 | Paper |
Being Correct Is Not Enough: Efficient Verification Using Robust Linear Temporal Logic
ACM Transactions on Computational Logic | 2022-02-24 | Paper |
| Robust, expressive, and quantitative linear temporal logics: pick any two for free | 2022-01-06 | Paper |
Robust, expressive, and quantitative linear temporal logics: pick any two for free
(available as arXiv preprint) | 2022-01-06 | Paper |
Parameterized synthesis with safety properties
(available as arXiv preprint) | 2021-07-08 | Paper |
| scientific article; zbMATH DE number 7340147 (Why is no real title available?) | 2021-04-27 | Paper |
From LTL to rLTL monitoring
Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control | 2021-01-25 | Paper |
Resilient abstraction-based controller design
Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control | 2021-01-25 | Paper |
A learning-based approach to synthesizing invariants for incomplete verification engines
Journal of Automated Reasoning | 2020-11-02 | Paper |
Synthesizing optimally resilient controllers
Acta Informatica | 2020-03-06 | Paper |
Evrostos
Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control | 2019-10-22 | Paper |
An automaton learning approach to solving safety games over infinite graphs
(available as arXiv preprint) | 2019-09-17 | Paper |
| Invariant synthesis for incomplete verification engines | 2019-09-16 | Paper |
Compositional Synthesis of Piece-Wise Functions by Learning Classifiers
ACM Transactions on Computational Logic | 2018-08-10 | Paper |
Robust linear temporal logic
(available as arXiv preprint) | 2017-07-19 | Paper |
Quantified data automata for linear data structures: a register automaton model with applications to learning invariants of programs manipulating arrays and lists
Formal Methods in System Design | 2015-10-20 | Paper |
Down the Borel hierarchy: solving Muller games via safety games
Theoretical Computer Science | 2014-12-02 | Paper |
Computing minimal separating DFAs and regular invariants using SAT and SMT solvers
Automated Technology for Verification and Analysis | 2012-11-21 | Paper |
Small strategies for safety games
Automated Technology for Verification and Analysis | 2011-10-07 | Paper |
Reachability games on automatic graphs
Implementation and Application of Automata | 2011-02-11 | Paper |
