Rayna Dimitrova

Proc. ACM Program. Lang., January, 2024

Contract-based Design and Verification of Multi-Agent Systems with Quantitative Temporal Requirements.

[BibT_eX]

[DOI]

Rafael Dewes

CoRR, 2024

Translation of Temporal Logic for Efficient Infinite-State Reactive Synthesis (Full Version).

[BibT_eX]

[DOI]

CoRR, 2024

Localized Attractor Computations for Infinite-State Games (Full Version).

[BibT_eX]

[DOI]

CoRR, 2024

Localized Attractor Computations for Infinite-State Games.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 36th International Conference, 2024

2023

Taming Large Bounds in Synthesis from Bounded-Liveness Specifications (Full Version).

[BibT_eX]

[DOI]

CoRR, 2023

Taming Large Bounds in Synthesis from Bounded-Liveness Specifications.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

Compositional High-Quality Synthesis.

[BibT_eX]

[DOI]

Rafael Dewes

Proceedings of the Automated Technology for Verification and Analysis, 2023

2022

Synthesis of strategies for autonomous surveillance on adversarial targets.

[BibT_eX]

[DOI]

Robotics Auton. Syst., 2022

Conformance Relations and Hyperproperties for Doping Detection in Time and Space.

[BibT_eX]

[DOI]

Mohammad Reza Mousavi

Log. Methods Comput. Sci., 2022

2021

Reactive Synthesis Beyond Realizability.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods in Computer Aided Design, 2021

2020

Reactive synthesis with maximum realizability of linear temporal logic specifications.

[BibT_eX]

[DOI]

Mahsa Ghasemi

Acta Informatica, 2020

Near-Optimal Reactive Synthesis Incorporating Runtime Information.

[BibT_eX]

[DOI]

Proceedings of the 2020 IEEE International Conference on Robotics and Automation, 2020

Conformance-Based Doping Detection for Cyber-Physical Systems.

[BibT_eX]

[DOI]

Maciej Gazda

Mohammad Reza Mousavi

Sebastian Biewer

Holger Hermanns

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2020

Probabilistic Hyperproperties of Markov Decision Processes.

[BibT_eX]

[DOI]

Hazem Torfah

Proceedings of the Automated Technology for Verification and Analysis, 2020

2019

Synthesizing Approximate Implementations for Unrealizable Specifications.

[BibT_eX]

[DOI]

Hazem Torfah

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

Approximate Automata for Omega-Regular Languages.

[BibT_eX]

[DOI]

Hazem Torfah

Proceedings of the Automated Technology for Verification and Analysis, 2019

Synthesis of Minimum-Cost Shields for Multi-agent Systems.

[BibT_eX]

[DOI]

Proceedings of the 2019 American Control Conference, 2019

2018

Causality Analysis for Concurrent Reactive Systems (Extended Abstract).

[BibT_eX]

[DOI]

Vinayak S. Prabhu

Proceedings of the Proceedings 3rd Workshop on formal reasoning about Causation, 2018

Synthesis of Surveillance Strategies via Belief Abstraction.

[BibT_eX]

[DOI]

Suda Bharadwaj

Proceedings of the 57th IEEE Conference on Decision and Control, 2018

Distributed Synthesis of Surveillance Strategies for Mobile Sensors.

[BibT_eX]

[DOI]

Suda Bharadwaj

Proceedings of the 57th IEEE Conference on Decision and Control, 2018

Maximum Realizability for Linear Temporal Logic Specifications.

[BibT_eX]

[DOI]

Mahsa Ghasemi

Proceedings of the Automated Technology for Verification and Analysis, 2018

2017

Approximate counting in SMT and value estimation for probabilistic programs.

[BibT_eX]

[DOI]

Dmitry Chistikov

Sadegh Esmaeil Zadeh Soudjani

Acta Informatica, 2017

The Robot Routing Problem for Collecting Aggregate Stochastic Rewards.

[BibT_eX]

[DOI]

Proceedings of the 28th International Conference on Concurrency Theory, 2017

2016

Probabilistic CTL<sup>*</sup>: The Deductive Way.

[BibT_eX]

[DOI]

Luis María Ferrer Fioriti

Holger Hermanns

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

Robust optimal policies for Markov decision processes with safety-threshold constraints.

[BibT_eX]

[DOI]

Jie Fu

Proceedings of the 55th IEEE Conference on Decision and Control, 2016

Symbolic Model Checking for Factored Probabilistic Models.

[BibT_eX]

[DOI]

David Deininger

Proceedings of the Automated Technology for Verification and Analysis, 2016

2015

Reachability Analysis of Reversal-bounded Automata on Series-Parallel Graphs.

[BibT_eX]

[DOI]

Proceedings of the Proceedings Sixth International Symposium on Games, 2015

2014

Synthesis and control of infinite-state systems with partial observability.

[BibT_eX]

[DOI]

PhD thesis, 2014

Deductive control synthesis for alternating-time logics.

[BibT_eX]

[DOI]

Proceedings of the 2014 International Conference on Embedded Software, 2014

Abstractions and sensor design in partial-information, reactive controller synthesis.

[BibT_eX]

[DOI]

Jie Fu

Proceedings of the American Control Conference, 2014

2013

Lossy Channel Games under Incomplete Information

[BibT_eX]

[DOI]

Proceedings of the Proceedings 1st International Workshop on Strategic Reasoning, 2013

2012

Model Checking Information Flow in Reactive Systems.

[BibT_eX]

[DOI]

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2012

Monitoring Temporal Information Flow.

[BibT_eX]

[DOI]

Markus N. Rabe

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012

Counterexample-Guided Synthesis of Observation Predicates.

[BibT_eX]

[DOI]

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2012

2009

Synthesis of Fault-Tolerant Distributed Systems.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2009

2008

Is Lazy Abstraction a Decision Procedure for Broadcast Protocols?

[BibT_eX]

[DOI]

Andreas Podelski

Proceedings of the Verification, 2008

Abstraction Refinement for Games with Incomplete Information.

[BibT_eX]

[DOI]