| Publication | Date of Publication | Type |
|---|
| Algorithmic improvisation for dependable intelligent autonomy (invited talk) | 2026-03-23 | Paper |
Correction to: ``Hypercontracts
Formal Methods in System Design | 2025-10-21 | Paper |
Hypercontracts
Formal Methods in System Design | 2025-10-21 | Paper |
Flexible computational pipelines for robust abstraction-based control synthesis
Computer Aided Verification | 2024-02-16 | Paper |
Machine learning and logic: a new frontier in artificial intelligence
Formal Methods in System Design | 2023-10-30 | Paper |
From interface automata to hypercontracts
Lecture Notes in Computer Science | 2023-08-10 | Paper |
Formal specification for deep neural networks
Automated Technology for Verification and Analysis | 2023-07-28 | Paper |
Reactive control improvisation
Computer Aided Verification | 2023-05-26 | Paper |
Understanding and extending incremental determinization for 2QBF
Computer Aided Verification | 2023-05-05 | Paper |
Understanding and extending incremental determinization for 2QBF
Computer Aided Verification | 2023-05-05 | Paper |
Satisfiability and synthesis modulo oracles
(available as arXiv preprint) | 2022-07-08 | Paper |
Logical clustering and learning for time-series data
(available as arXiv preprint) | 2022-07-01 | Paper |
Runtime monitors for Markov decision processes
(available as arXiv preprint) | 2022-03-25 | Paper |
Model checking finite-horizon Markov chains with probabilistic inference
(available as arXiv preprint) | 2022-03-25 | Paper |
Enforcing almost-sure reachability in POMDPs
(available as arXiv preprint) | 2022-03-25 | Paper |
| MedleySolver: online SMT algorithm selection | 2022-03-22 | Paper |
Cloud-Based Quadratic Optimization With Partially Homomorphic Encryption
IEEE Transactions on Automatic Control | 2021-05-28 | Paper |
Maximum causal entropy specification inference from demonstrations
(available as arXiv preprint) | 2021-02-09 | Paper |
TeLEx: learning signal temporal logic from positive examples using tightness metric
Formal Methods in System Design | 2019-11-25 | Paper |
Compositional falsification of cyber-physical systems with machine learning components
Journal of Automated Reasoning | 2019-10-25 | Paper |
A new simulation metric to determine safe environments and controllers for systems with unknown dynamics
Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control | 2019-10-22 | Paper |
Cloud-based Quadratic Optimization with Partially Homomorphic Encryption
(available as arXiv preprint) | 2018-09-06 | Paper |
Modeling for Verification
Handbook of Model Checking | 2018-07-20 | Paper |
Secure State Estimation for Cyber-Physical Systems Under Sensor Attacks: A Satisfiability Modulo Theory Approach
IEEE Transactions on Automatic Control | 2018-06-27 | Paper |
Program synthesis for interactive-security systems
Formal Methods in System Design | 2018-02-14 | Paper |
Safe autonomy under perception uncertainty using chance-constrained temporal logic
Journal of Automated Reasoning | 2018-02-02 | Paper |
Synthesis of obfuscation policies to ensure privacy and utility
Journal of Automated Reasoning | 2018-02-02 | Paper |
Symbolic control design for monotone systems with directed specifications
Automatica | 2017-11-08 | Paper |
A theory of formal synthesis via inductive learning
Acta Informatica | 2017-10-26 | Paper |
| scientific article; zbMATH DE number 6783107 (Why is no real title available?) | 2017-09-29 | Paper |
Robust online monitoring of signal temporal logic
Formal Methods in System Design | 2017-09-08 | Paper |
Control improvisation
(available as arXiv preprint) | 2017-07-13 | Paper |
SMC: satisfiability modulo convex optimization
Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control | 2017-07-11 | Paper |
A small gain theorem for parametric assume-guarantee contracts
Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control | 2017-07-11 | Paper |
Reactive synthesis from signal temporal logic specifications
Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control | 2017-05-19 | Paper |
Directed specifications and assumption mining for monotone dynamical systems
Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control | 2017-05-19 | Paper |
Diagnosis and repair for synthesis from signal temporal logic specifications
Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control | 2017-05-19 | Paper |
Mining requirements from closed-loop control models
Proceedings of the 16th international conference on Hybrid systems: computation and control | 2017-05-16 | Paper |
On the hardness of SAT with community structure
Theory and Applications of Satisfiability Testing – SAT 2016 | 2016-09-05 | Paper |
Incremental determinization
Theory and Applications of Satisfiability Testing – SAT 2016 | 2016-09-05 | Paper |
Synthesis with Identifiers
Lecture Notes in Computer Science | 2015-01-13 | Paper |
Polynomial-time verification of PCTL properties of MDPs with convex uncertainties
Computer Aided Verification | 2013-11-26 | Paper |
Automating security mediation placement
Programming Languages and Systems | 2010-05-04 | Paper |
Unbounded, fully symbolic model checking of timed automata using Boolean methods.
Lecture Notes in Computer Science | 2010-04-20 | Paper |
Convergence testing in term-level bounded model checking
Lecture Notes in Computer Science | 2010-02-05 | Paper |
Symbolic Reachability Analysis of Lazy Linear Hybrid Automata
Lecture Notes in Computer Science | 2008-07-03 | Paper |
Deciding Quantifier-Free Presburger Formulas Using Parameterized Solution Bounds
Logical Methods in Computer Science | 2007-10-11 | Paper |
| On solving Boolean combinations of UTVPI constraints. | 2007-10-09 | Paper |
Deciding Bit-Vector Arithmetic with Abstraction
Tools and Algorithms for the Construction and Analysis of Systems | 2007-09-03 | Paper |
Automated Deduction – CADE-20
Lecture Notes in Computer Science | 2006-11-01 | Paper |
Computer Aided Verification
Lecture Notes in Computer Science | 2005-08-25 | Paper |
Computer Aided Verification
Lecture Notes in Computer Science | 2005-08-25 | Paper |
Modular verification of multithreaded programs
Theoretical Computer Science | 2005-06-30 | Paper |
| scientific article; zbMATH DE number 1979548 (Why is no real title available?) | 2003-09-14 | Paper |
| scientific article; zbMATH DE number 1903353 (Why is no real title available?) | 2003-05-01 | Paper |
| scientific article; zbMATH DE number 1903355 (Why is no real title available?) | 2003-05-01 | Paper |
| scientific article; zbMATH DE number 1903346 (Why is no real title available?) | 2003-05-01 | Paper |
