Dynamic controllability via timed game automata

From MaRDI portal
Revision as of 02:32, 30 January 2024 by Import240129110155 (talk | contribs) (Created automatically from import240129110155)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:329422

DOI10.1007/S00236-016-0257-2zbMath1350.68251DBLPjournals/acta/CimattiHMPR16OpenAlexW2273117767WikidataQ62041085 ScholiaQ62041085MaRDI QIDQ329422

Alessandro Cimatti, Marco Roveri, Luke Hunsberger, Roberto Posenato, Andrea Micheli

Publication date: 21 October 2016

Published in: Acta Informatica (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/11572/258653




Related Items (8)


Uses Software



Cites Work




This page was built for publication: Dynamic controllability via timed game automata