Sampling-based synthesis of maximally-satisfying controllers for temporal logic specifications.

Cristian Ioan Vasile, Vasumathi Raman, Sertac Karaman

Browse the full IROS paper archive.