Games with Full, Longitudinal, and Transverse Observability

Lecture Notes in Computer Science - Reachability Problems ◽

10.1007/978-3-030-61739-4_2 ◽

2020 ◽

pp. 20-34

Author(s):

Orna Kupferman

Download Full-text