Dynamic controllability via Timed Game Automata
Crossref DOI link: https://doi.org/10.1007/s00236-016-0257-2
Published Online: 2016-02-01
Published Print: 2016-10
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Cimatti, Alessandro
Hunsberger, Luke
Micheli, Andrea
Posenato, Roberto
Roveri, Marco
Text and Data Mining valid from 2016-02-01