Hyperproperties for Robotics: Planning via HyperLTL
Yu Wang,Siddhartha Nalluri,Miroslav Pajic,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-temporal logics. We are motivated by the fact that important planning objectives, such as optimality, robustness, and privacy, (maybe implicitly) involve the interrelation between multiple paths. Such objectives are thus hyperp...
