43 citations · 119 across the 29 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.DC2018★ 2 cited
Decentralized Multi-UAV Routing in the Presence of Disturbances
Wei Zhao, Borzoo Bonakdarpour
We introduce a decentralized and online path planning technique for a network of unmanned aerial vehicles (UAVs) in the presence of weather disturbances. In our problem setting, th…
cs.LO2018
HyperPCTL: A Temporal Logic for Probabilistic Hyperproperties
Erika Abraham, Borzoo Bonakdarpour
In this paper, we propose a new logic for expressing and reasoning about probabilistic hyperproperties. Hyperproperties characterize the relation between different independent exec…