2 citations · 2 across the 4 of their papers we have counts for
5 papers
Perimeter Defense using a Turret with Finite Range and Service Times
Shivam Bajaj, Shaunak D. Bopardikar, Alexander Von Moll +2
We consider a perimeter defense problem in a planar conical environment comprising a single turret that has a finite range and non-zero service time. The turret seeks to defend a c…
Competitive Perimeter Defense of Conical Environments
Shivam Bajaj, Eric Torng, Shaunak D. Bopardikar +4
We consider a perimeter defense problem in a planar conical environment in which a single vehicle, having a finite capture radius, aims to defend a concentric perimeter from mobile…
Competitive Perimeter Defense on a Line
Shivam Bajaj, Eric Torng, Shaunak D. Bopardikar
We consider a perimeter defense problem in which a single vehicle seeks to defend a compact region from intruders in a one-dimensional environment parameterized by the perimeter si…
Efficient Two-Layered Monitor for Partially Synchronous Distributed Systems (Technical Report)
Vidhya Tekken Valapil, Sandeep Kulkarni, Eric Torng +1
Monitoring distributed systems to ensure their correctness is a challenging and expensive but essential problem. It is challenging because while execution of a distributed system c…
Monitoring Partially Synchronous Distributed Systems using SMT Solvers
Vidhya Tekken Valapil, Sorrachai Yingchareonthawornchai, Sandeep Kulkarni +2
In this paper, we discuss the feasibility of monitoring partially synchronous distributed systems to detect latent bugs, i.e., errors caused by concurrency and race conditions amon…