Micheli, Andrea

Micheli, Andrea  

Mostra records
Risultati 1 - 20 di 35 (tempo di esecuzione: 0.018 secondi).
Titolo Data di pubblicazione Autore(i) File
Compiling Away Uncertainty in Strong Temporal Planning with Uncontrollable Durations 1-gen-2015 Micheli, Andrea; Do, Minh; Smith, David
Computation of the Transient in Max-Plus Linear Systems via SMT-Solving 1-gen-2020 Abate, Alessandro; Cimatti, Alessandro; Micheli, Andrea; Mufid, Muhammad Syifa’ul
Decidability and Complexity of Action-Based Temporal Planning over Dense Time 1-gen-2022 Gigante, Nicola; Micheli, Andrea; Montanari, Angelo; Scala, Enrico
Decidability and Complexity of Action-Based Temporal Planning over Dense Time 1-gen-2020 Gigante, Nicola; Micheli, Andrea; Montanari, Angelo; Scala, Enrico
Deciding Unsolvability in Temporal Planning under Action Non-Self-Overlapping 1-gen-2022 Panjkovic, Stefan; Micheli, Andrea; Cimatti, Alessandro
Disjunctive temporal networks with uncertainty via SMT: Recent results and directions 1-gen-2017 Micheli, Andrea
Dynamic Controllability of Disjunctive Temporal Networks: Validation and Synthesis of Executable Strategies 1-gen-2016 Cimatti, Alessandro; Micheli, Andrea; Roveri, Marco
Dynamic controllability via Timed Game Automata 1-gen-2016 Cimatti, Alessandro; Hunsberger, Luke; Micheli, Andrea; Posenato, Roberto; Roveri, Marco
Efficient Anytime Computation and Execution of Decoupled Robustness Envelopes for Temporal Plans 1-gen-2021 Cashmore, Michael; Cimatti, Alessandro; Magazzeni, Daniele; Micheli, Andrea; Zehtabi, Parisa
KRATOS 1-gen-2010 Roveri, Marco; Cimatti, Alessandro; Narasamdya, Iman; Micheli, Andrea; Daniele, Campana; Griggio, Alberto; Tchaltsev, Andrei
Kratos - A Software Model Checker for SystemC 1-gen-2011 Cimatti, Alessandro; Griggio, Alberto; Micheli, Andrea; Iman, Narasamdya; Roveri, Marco
NuSMV 1-gen-2002 Roveri, Marco; Cimatti, Alessandro; Cavada, Roberto; Tchaltsev, Andrei; Micheli, Andrea; Mariotti, Alessandro; Mover, Sergio; Marco, Pensallorto; Armando, Tacchella; Daniel, Sheridan; Gavin, Keighren; Tommi, Junttila; Timo, Latvala
Olisipo: A Probabilistic Approach to the Adaptable Execution of Deterministic Temporal Plans 1-gen-2021 Ribeiro, Tomás; Lima, Oscar; Cashmore, Michael; Micheli, Andrea; Ventura, Rodrigo
OthelloPlay: a plug-in based tool for requirement formalization and validation 1-gen-2011 Cavada, Roberto; Cimatti, Alessandro; Micheli, Andrea; Roveri, Marco; Susi, Angelo; Tonetta, Stefano
PySMT: a Solver-Agnostic Library for Fast Prototyping of SMT-Based Algorithms 1-gen-2015 Gario, Marco Elio Gustavo; Micheli, Andrea
Robustness Envelopes for Temporal Plans 1-gen-2019 Cashmore, Michael; Cimatti, Alessandro; Magazzeni, Daniele; Micheli, Andrea; Zehtabi, Parisa
An SMT-based approach to weak controllability for disjunctive temporal problems with uncertainty 1-gen-2015 Cimatti, Alessandro; Micheli, Andrea; Roveri, Marco
SMT-Based Model Checking of Max-Plus Linear Systems 1-gen-2021 Syifa'ul Mufid, Muhammad; Micheli, Andrea; Abate, Alessandro; Cimatti, Alessandro
SMT-based Validation of Timed Failure Propagation Graphs 1-gen-2015 Bozzano M.; Cimatti A.; Gario M.; Micheli A.
Solving strong controllability of temporal problems with uncertainty using SMT 1-gen-2015 Cimatti, Alessandro; Micheli, Andrea; Roveri, Marco