| Publication | Date of Publication | Type |
|---|
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
| 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
| 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
| 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 |
Parameterized synthesis with safety properties
| 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
| 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
| 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 |
