Admissibility Over Winning: A New Approach to Reactive Synthesis in Robotics

Open in new window