12 citations · 43 across the 22 of their papers we have counts for
3 papers · 1 filter
Reactive Synthesis with Maximum Realizability of Linear Temporal Logic Specifications
Rayna Dimitrova, Mahsa Ghasemi, Ufuk Topcu
A challenging problem for autonomous systems is to synthesize a reactive controller that conforms to a set of given correctness properties. Linear temporal logic (LTL) provides a f…
Distributed Synthesis of Surveillance Strategies for Mobile Sensors
Suda Bharadwaj, Rayna Dimitrova, Ufuk Topcu
We study the problem of synthesizing strategies for a mobile sensor network to conduct surveillance in partnership with static alarm triggers. We formulate the problem as a multi-a…
Causality Analysis for Concurrent Reactive Systems (Extended Abstract)
Rayna Dimitrova, Rupak Majumdar, Vinayak S. Prabhu
We present a comprehensive language theoretic causality analysis framework for explaining safety property violations in the setting of concurrent reactive systems. Our framework al…