Rüdiger Ehlers

Ayrat Khalimov

CoRR, 2024

Efficient Temporal Logic Runtime Monitoring for Tiny Systems.

[BibT_eX]

[DOI]

Proceedings of the Tests and Proofs - 18th International Conference, 2024

Fully Generalized Reactivity(1) Synthesis.

[BibT_eX]

[DOI]

Ayrat Khalimov

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

Understanding Synthesized Reactive Systems Through Invariants.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods - 26th International Symposium, 2024

2022

On the Influence of Grid Cell Size on Taxi Demand Prediction.

[BibT_eX]

[DOI]

Proceedings of the Smart Objects and Technologies for Social Goods, 2022

Natural Colors of Infinite Words.

[BibT_eX]

[DOI]

Sven Schewe

Proceedings of the 42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2022

Synthesizing Transducers from Complex Specifications.

[BibT_eX]

[DOI]

Anvay Grover

Ruediger Ehlers

Loris D'Antoni

Proceedings of the 22nd Formal Methods in Computer-Aided Design, 2022

Correct-by-Construction Runtime Enforcement in AI - A Survey.

[BibT_eX]

[DOI]

Proceedings of the Principles of Systems Design, 2022

2021

Adapting to the Behavior of Environments with Bounded Memory.

[BibT_eX]

[DOI]

Dhananjay Raju

Proceedings of the Proceedings 12th International Symposium on Games, 2021

Formalizing and guaranteeing human-robot interaction.

[BibT_eX]

[DOI]

Commun. ACM, 2021

Safe Multi-Agent Reinforcement Learning via Shielding.

[BibT_eX]

[DOI]

Proceedings of the AAMAS '21: 20th International Conference on Autonomous Agents and Multiagent Systems, 2021

2020

Playing Against Opponents With Limited Memory.

[BibT_eX]

[DOI]

Dhananjay Raju

CoRR, 2020

Engineering Human-Machine Teams for Trusted Collaboration.

[BibT_eX]

[DOI]

Big Data Cogn. Comput., 2020

SAT Solving with Fragmented Hamiltonian Path Constraints for Wire Arc Additive Manufacturing.

[BibT_eX]

[DOI]

Kai Treutler

Volker Wesling

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2020, 2020

Learning Properties in LTL ∩ ACTL from Positive Examples Only.

[BibT_eX]

[DOI]

Ivan Gavran

Daniel Neider

Proceedings of the 2020 Formal Methods in Computer Aided Design, 2020

2019

Quality Assurance of Machine Learned Models by Integrating Domain Knowledge and Formal Verification.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Software Management, 2019

Evaluating ESOP Optimization Methods in Quantum Compilation Flows.

[BibT_eX]

[DOI]

Proceedings of the Reversible Computation - 11th International Conference, 2019

How Hard Is Finding Shortest Counter-Example Lassos in Model Checking?

[BibT_eX]

[DOI]

Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019

Reactive Synthesis of Graphical User Interface Glue Code.

[BibT_eX]

[DOI]

Keerthi Adabala

Proceedings of the Automated Technology for Verification and Analysis, 2019

2018

Resilient, Provably-Correct, and High-Level Robot Behaviors.

[BibT_eX]

[DOI]

Kai Weng Wong

IEEE Trans. Robotics, 2018

Exact Synthesis of ESOP Forms.

[BibT_eX]

[DOI]

CoRR, 2018

Revisiting Decision Diagrams for SAT.

[BibT_eX]

[DOI]

Tom van Dijk

Armin Biere

CoRR, 2018

Approximately Propagation Complete and Conflict Propagating Constraint Encodings.

[BibT_eX]

[DOI]

Francisco Palau Romero

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2018, 2018

Embedded software for robotics: challenges and future directions: special session.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Embedded Software, 2018

On Improving the Efficiency of Game Solving for Hybrid System Control.

[BibT_eX]

[DOI]

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

A Fragment of Linear Temporal Logic for Universal Very Weak Automata.

[BibT_eX]

[DOI]

Keerthi Adabala

Proceedings of the Automated Technology for Verification and Analysis, 2018

Steady Abstractions for CPS Controller Synthesis.

[BibT_eX]

[DOI]

Francisco Palau Romero

Proceedings of the 2018 Annual American Control Conference, 2018

Safe Reinforcement Learning via Shielding.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

2017

The first reactive synthesis competition (SYNTCOMP 2014).

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2017

Supervisory control and reactive synthesis: a comparative introduction.

[BibT_eX]

[DOI]

Discret. Event Dyn. Syst., 2017

Automated generation of dynamics-based runtime certificates for high-level control.

[BibT_eX]

[DOI]

Discret. Event Dyn. Syst., 2017

Special issue: Synthesis and SYNT 2014.

[BibT_eX]

[DOI]

Krishnendu Chatterjee

Acta Informatica, 2017

Counterexample-Guided EF Synthesis of Boolean Functions.

[BibT_eX]

Heinz Riener

Görschwin Fey

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 2017

Symmetric Synthesis.

[BibT_eX]

[DOI]

Proceedings of the 37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2017

Formal Verification of Piece-Wise Linear Feed-Forward Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2017

CEGAR-based EF synthesis of Boolean functions with an application to circuit rectification.

[BibT_eX]

[DOI]

Heinz Riener

Görschwin Fey

Proceedings of the 22nd Asia and South Pacific Design Automation Conference, 2017

2016

Risk-Averse ω-regular Markov Decision Process Control.

[BibT_eX]

[DOI]

Salar Moarref

CoRR, 2016

Risk-averse control of Markov decision processes with ω-regular objectives.

[BibT_eX]

[DOI]

Salar Moarref

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

Slugs: Extensible GR(1) Synthesis.

[BibT_eX]

[DOI]

Vasumathi Raman

Proceedings of the Computer Aided Verification - 28th International Conference, 2016

2015

Path-Based Program Repair.

[BibT_eX]

[DOI]

Heinz Riener

Görschwin Fey

Proceedings of the Proceedings 12th International Workshop on Formal Engineering approaches to Software Components and Architectures, 2015

Computing the Complete Pareto Front.

[BibT_eX]

[DOI]

CoRR, 2015

Correct-by-synthesis reinforcement learning with temporal logic constraints.

[BibT_eX]

[DOI]

Min Wen

Proceedings of the 2015 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2015

Synthesizing cooperative reactive mission plans.

[BibT_eX]

[DOI]

Robert Könighofer

Roderick Bloem

Proceedings of the 2015 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2015

Estimator-based reactive synthesis under incomplete information.

[BibT_eX]

[DOI]

Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015

Cooperative Reactive Synthesis.

[BibT_eX]

[DOI]

Roderick Bloem

Robert Könighofer

Proceedings of the Automated Technology for Verification and Analysis, 2015

2014

Low-Effort Specification Debugging and Analysis.

[BibT_eX]

[DOI]

Vasumathi Raman

Proceedings of the Proceedings 3rd Workshop on Synthesis, 2014

Dynamics-Based Reactive Synthesis and Automated Revisions for High-Level Robot Control.

[BibT_eX]

[DOI]

CoRR, 2014

How to Handle Assumptions in Synthesis.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 3rd Workshop on Synthesis, 2014

Bridging the Gap between Supervisory Control and Reactive Synthesis: Case of Full Observation and Centralized Control.

[BibT_eX]

[DOI]

Proceedings of the 12th International Workshop on Discrete Event Systems, 2014

Synthesis with Identifiers.

[BibT_eX]

[DOI]

Sanjit A. Seshia

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

Correct High-level Robot Behavior in Environments with Unexpected Events.

[BibT_eX]

[DOI]

Kai Weng Wong

Proceedings of the Robotics: Science and Systems X, 2014

Resilience to intermittent assumption violations in reactive synthesis.

[BibT_eX]

[DOI]

Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2014

A Tool That Incrementally Approximates Finite Satisfiability in Full Interval Temporal Logic.

[BibT_eX]

[DOI]

Martin Lange

Proceedings of the Automated Reasoning - 7th International Joint Conference, 2014

2013

Shortcut through an evil door: Optimality of correct-by-construction controllers in adversarial environments.

[BibT_eX]

[DOI]

Gangyuan Jing

Proceedings of the 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2013

Symmetrische und effiziente Synthese.

[BibT_eX]

[DOI]

Proceedings of the Ausgezeichnete Informatikdissertationen 2013, 2013

Symmetric and efficient synthesis.

[BibT_eX]

[DOI]

PhD thesis, 2013

2012

Symbolic bounded synthesis.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2012

Sparse Positional Strategies for Safety Games

[BibT_eX]

[DOI]

Daniela Moldovan

Proceedings of the Proceedings First Workshop on Synthesis, 2012

FlexRay for Avionics: Automatic Verification with Parametric Physical Layers.

[BibT_eX]

[DOI]

Proceedings of the Infotech@Aerospace 2012, 2012

Symbolically synthesizing small circuits.

[BibT_eX]

[DOI]

Robert Könighofer

Georg Hofferek

Proceedings of the Formal Methods in Computer-Aided Design, 2012

ACTL ∩ LTL Synthesis.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 24th International Conference, 2012

ALLQBF Solving by Computational Learning.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2012

2011

Small witnesses, accepting lassos and winning strategies in omega-automata and games

[BibT_eX]

[DOI]

CoRR, 2011

Reactive Safety

[BibT_eX]

[DOI]

Proceedings of Second International Symposium on Games, 2011

Experimental Aspects of Synthesis

[BibT_eX]

[DOI]

Proceedings of the Proceedings International Workshop on Interactions, Games and Protocols, 2011

Unbeast: Symbolic Bounded Synthesis.

[BibT_eX]

[DOI]

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

Monitoring Realizability.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification - Second International Conference, 2011

Generalized Rabin(1) Synthesis with Applications to Robust System Synthesis.

[BibT_eX]

[DOI]

Proceedings of the NASA Formal Methods, 2011

Synthia: Verification and Synthesis for Timed Automata.

[BibT_eX]

[DOI]

Hans-Jörg Peter

Robert Mattmüller

Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

2010

Generalised Rabin(1) synthesis

[BibT_eX]

[DOI]

CoRR, 2010

On the Virtue of Patience: Minimizing Büchi Automata.

[BibT_eX]

[DOI]

Proceedings of the Model Checking Software, 2010

Minimising Deterministic Büchi Automata Precisely Using SAT Solving.

[BibT_eX]

[DOI]

Proceedings of the Theory and Applications of Satisfiability Testing, 2010

Fully Symbolic Timed Model Checking Using Constraint Matrix Diagrams.

[BibT_eX]

[DOI]

Proceedings of the 31st IEEE Real-Time Systems Symposium, 2010

Short Witnesses and Accepting Lassos in <i>omega</i>-Automata.

[BibT_eX]

[DOI]

Proceedings of the Language and Automata Theory and Applications, 2010

Making the Right Cut in Model Checking Data-Intensive Timed Systems.

[BibT_eX]

[DOI]

Michael Gerke

Hans-Jörg Peter

Proceedings of the Formal Methods and Software Engineering, 2010

Combining Symbolic Representations for Solving Timed Games.

[BibT_eX]

[DOI]