Sfoglia per Rivista
Mostrati risultati da 1 a 8 di 8
Automatic Generation of Scenarios for System-level Simulation-based Verification of Autonomous Driving Systems
2023-01-01 Goyal, Srajan; Griggio, Alberto; Kimblad, Jacob; Tonetta, Stefano
Causality and Temporal Dependencies in the Design of Fault Management Systems
2017-01-01 Bozzano, Marco
Complexity of Timeline-Based Planning over Dense Temporal Domains: Exploring the Middle Ground
2018-01-01 Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano
Efficient parallel statistical model checking of biochemical networks
2009-01-01 Ballarini, P.; Forlin, M.; Mazza, T.; Prandi, D.
Expressiveness of Extended Bounded Response LTL
2021-01-01 Cimatti, Alessandro; Geatti, Luca; Gigante, Nicola; Montanari, Angelo; Tonetta, Stefano
Model Checking the Logic of Allen's Relations Meets and Started-by is P^NP-Complete
2016-01-01 Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro
On the Complexity of Model Checking for Syntactically Maximal Fragments of the Interval Temporal Logic HS with Regular Expressions
2017-01-01 Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano
Unique Solutions of Contractions, CCS, and their HOL Formalisation
2018-01-01 Tian, Chun; Sangiorgi, Davide
Mostrati risultati da 1 a 8 di 8
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile