5 citations · 11 across the 3 of their papers we have counts for
3 papers
cs.AI2019★ 2 cited
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…
cs.FL2019★ 4 cited
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…
cs.LO2016★ 5 cited
Proceedings Fifth Workshop on Synthesis
Ruzica Piskac, Rayna Dimitrova
The SYNT workshop aims to bring together researchers interested in the broad area of synthesis of computing systems. The goal is to foster the development of frontier techniques in…