4 citations · 4 across the 1 of their papers we have counts for
1 paper · 1 filter
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…