Robuta

https://experts.colorado.edu/display/pubid_158889 Reachability-time games on timed automata - (Extended abstract) | CU Experts | CU Boulder time games timed automata extended abstract reachability https://mdu.diva-portal.org/smash/record.jsf?pid=diva2:237157 A Mapping between the Timed Abstract State Machine Language and UPPAAL's Timed Automata https://ir.cwi.nl/pub/21205 Centrum Wiskunde & Informatica: From timed Reo networks to networks of timed automata centrum wiskunde informatica timed reo https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?QAPL2012.1 EPTCS: UPPAAL-SMC: Statistical Model Checking for Priced Timed Automata model checking eptcs smc statistical priced https://spiral.imperial.ac.uk/entities/publication/36eab81f-d553-47af-a216-1da6e1e728a4 From MTL to deterministic timed automata In this paper we propose a novel technique for constructing timed automata from properties expressed in the logic MTL, under bounded-variability assumptions.... mtl deterministic timed automata