27 citations · 28 across the 3 of their papers we have counts for
3 papers
Correct-by-construction reach-avoid control of partially observable linear stochastic systems
Thom Badings, Hasan A. Poonawala, Marielle Stoelinga +1
We study feedback controller synthesis for reach-avoid control of discrete-time, linear time-invariant (LTI) systems with Gaussian process and measurement noise. The problem is to…
Hackers vs. Security: Attack-Defence Trees as Asynchronous Multi-Agent Systems
Jaime Arias, Carlos E. Budde, Wojciech Penczek +2
Attack-Defence Trees (ADTs) are well-suited to assess possible attacks to systems and the efficiency of counter-measures. In this paper, we first enrich the available constructs wi…
Game Refinement Relations and Metrics
Luca de Alfaro, Rupak Majumdar, Vishwanath Raman +1
We consider two-player games played over finite state spaces for an infinite number of rounds. At each state, the players simultaneously choose moves; the moves determine a success…