scholarly journals The Complexity of Bounded Synthesis for Timed Control with Partial Observability

Author(s):  
Hans-Jörg Peter ◽  
Bernd Finkbeiner
2020 ◽  
Vol 4 (OOPSLA) ◽  
pp. 1-28
Author(s):  
Eric Atkinson ◽  
Michael Carbin

Author(s):  
Eduardo Alarcón-Bustamante ◽  
Ernesto San Martín ◽  
Jorge González

Sign in / Sign up

Export Citation Format

Share Document