Robuta

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://arxiv.org/abs/2508.16345 [2508.16345] Uppaal Coshy: Automatic Synthesis of Compact Shields for Hybrid Systems Abstract page for arXiv paper 2508.16345: Uppaal Coshy: Automatic Synthesis of Compact Shields for Hybrid Systems 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://research.tue.nl/en/publications/model-based-system-analysis-using-chi-and-uppaal-an-industrial-ca-2/ Model-based system analysis using Chi and UPPAAL : an industrial case study - Research portal... https://research.utwente.nl/en/publications/a-formal-model-of-a-car-periphery-supervision-system-in-uppaal/ A Formal Model of a Car Periphery Supervision System in UPPAAL - University of Twente Research... https://essay.utwente.nl/essays/82021 Validating the Maneuver Coordination Protocol with UPPAAL In the future, autonomous vehicles will be able to communicate with each other on an ad hoc basis. Using this infrastructure, they will be able to cooperate to... validating maneuver coordination protocol https://arxiv.org/abs/2501.12932v4 [2501.12932v4] Formal Analysis of the Contract Automata Runtime Environment with Uppaal: Modelling,... Abstract page for arXiv paper 2501.12932v4: Formal Analysis of the Contract Automata Runtime Environment with Uppaal: Modelling, Verification and Testing