15 citations · 61 across the 32 of their papers we have counts for
5 papers · 1 filter
Universal Safety Controllers with Learned Prophecies
Bernd Finkbeiner, Niklas Metzger, Satya Prakash Nayak +1
\emph{Universal Safety Controllers (USCs)} are a promising logical control framework that guarantees the satisfaction of a given temporal safety specification when applied to any r…
Synthesis of Universal Safety Controllers
Bernd Finkbeiner, Niklas Metzger, Satya Prakash Nayak +1
The goal of logical controller synthesis is to automatically compute a control strategy that regulates the discrete, event-driven behavior of a given plant s.t. a temporal logic sp…
Localized Attractor Computations for Infinite-State Games (Full Version)
Anne-Kathrin Schmuck, Philippe Heim, Rayna Dimitrova +1
Infinite-state games are a commonly used model for the synthesis of reactive systems with unbounded data domains. Symbolic methods for solving such games need to be able to constru…
Supervisory Controller Synthesis for Non-terminating Processes is an Obliging Game
Rupak Majumdar, Anne-Kathrin Schmuck
We present a new algorithm to solve the supervisory control problem over non-terminating processes modeled as -regular automata. A solution to this problem was obtained by Thist…
Environmentally-friendly GR(1) Synthesis
Rupak Majumdar, Nir Piterman, Anne-Kathrin Schmuck
Many problems in reactive synthesis are stated using two formulas ---an environment assumption and a system guarantee--- and ask for an implementation that satisfies the guarantee…