scholarly journals Time-Bounded Reachability for Monotonic Hybrid Automata: Complexity and Fixed Points

Author(s):  
Thomas Brihaye ◽  
Laurent Doyen ◽  
Gilles Geeraerts ◽  
Joel Ouaknine ◽  
Jean-Francois Raskin ◽  
...  
Keyword(s):  
2019 ◽  
Vol 51 (10) ◽  
pp. 23-30
Author(s):  
Alexey S. Bychkov ◽  
Olga N. Suprun ◽  
Irzhy Krzhyzh ◽  
Veronika Navotna
Keyword(s):  

2018 ◽  
Vol 2018 (-) ◽  
Author(s):  
Prondanai Kaskasem ◽  
Chakkrid Klin-eam ◽  
Suthep Suantai

Author(s):  
C. Ganesa Moorthy ◽  
S. Iruthaya Raj
Keyword(s):  

Sign in / Sign up

Export Citation Format

Share Document