4 citations · 4 across the 1 of their papers we have counts for
2 papers
cs.RO2019★ 4 cited
Hyperproperties for Robotics: Planning via HyperLTL
Yu Wang, Siddhartha Nalluri, Miroslav Pajic
There is a growing interest on formal methods-based robotic planning for temporal logic objectives. In this work, we extend the scope of existing synthesis methods to hyper-tempora…
cs.LO2019
Statistical Model Checking for Hyperproperties
Yu Wang, Siddhartha Nalluri, Borzoo Bonakdarpour +1
Hyperproperties have shown to be a powerful tool for expressing and reasoning about information-flow security policies. In this paper, we investigate the problem of statistical mod…