Micheli, Andrea
Micheli, Andrea
PSO
An SMT-based approach to weak controllability for disjunctive temporal problems with uncertainty
2015-01-01 Cimatti, Alessandro; Micheli, Andrea; Roveri, Marco
Compiling Away Uncertainty in Strong Temporal Planning with Uncontrollable Durations
2015-01-01 Micheli, Andrea; Do, Minh; Smith, David
Computation of the Transient in Max-Plus Linear Systems via SMT-Solving
2020-01-01 Abate, Alessandro; Cimatti, Alessandro; Micheli, Andrea; Mufid, Muhammad Syifa’ul
Decidability and Complexity of Action-Based Temporal Planning over Dense Time
2022-01-01 Gigante, Nicola; Micheli, Andrea; Montanari, Angelo; Scala, Enrico
Decidability and Complexity of Action-Based Temporal Planning over Dense Time
2020-01-01 Gigante, Nicola; Micheli, Andrea; Montanari, Angelo; Scala, Enrico
Deciding Unsolvability in Temporal Planning under Action Non-Self-Overlapping
2022-01-01 Panjkovic, Stefan; Micheli, Andrea; Cimatti, Alessandro
Disjunctive temporal networks with uncertainty via SMT: Recent results and directions
2017-01-01 Micheli, Andrea
Dynamic Controllability of Disjunctive Temporal Networks: Validation and Synthesis of Executable Strategies
2016-01-01 Cimatti, Alessandro; Micheli, Andrea; Roveri, Marco
Dynamic controllability via Timed Game Automata
2016-01-01 Cimatti, Alessandro; Hunsberger, Luke; Micheli, Andrea; Posenato, Roberto; Roveri, Marco
Efficient Anytime Computation and Execution of Decoupled Robustness Envelopes for Temporal Plans
2021-01-01 Cashmore, Michael; Cimatti, Alessandro; Magazzeni, Daniele; Micheli, Andrea; Zehtabi, Parisa
Expressive Optimal Temporal Planning via Optimization Modulo Theory
2023-01-01 Panjkovic, Stefan; Micheli, Andrea
KRATOS
2010-01-01 Roveri, Marco; Cimatti, Alessandro; Narasamdya, Iman; Micheli, Andrea; Daniele, Campana; Griggio, Alberto; Tchaltsev, Andrei
Kratos - A Software Model Checker for SystemC
2011-01-01 Cimatti, Alessandro; Griggio, Alberto; Micheli, Andrea; Iman, Narasamdya; Roveri, Marco
NuSMV
2002-01-01 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
2021-01-01 Ribeiro, Tomás; Lima, Oscar; Cashmore, Michael; Micheli, Andrea; Ventura, Rodrigo
On the Expressive Power of Intermediate and Conditional Effects in Temporal Planning
2022-01-01 Gigante, Nicola; Micheli, Andrea; Scala, Enrico
Opportunistic (Re)planning for Long-Term Deep-Ocean Inspection: An Autonomous Underwater Architecture
2024-01-01 Tosello, Elisa; Bonel, Paolo; Buranello, Alberto; Carraro, Marco; Cimatti, Alessandro; Granelli, Lorenzo; Panjkovic, Stefan; Micheli, Andrea
OthelloPlay: a plug-in based tool for requirement formalization and validation
2011-01-01 Cavada, Roberto; Cimatti, Alessandro; Micheli, Andrea; Roveri, Marco; Susi, Angelo; Tonetta, Stefano
PySMT: a Solver-Agnostic Library for Fast Prototyping of SMT-Based Algorithms
2015-01-01 Gario, Marco Elio Gustavo; Micheli, Andrea
RobDT: AI-enhanced Digital Twin for Space Exploration Robotic Assets
2023-01-01 Bozzano, Marco; Bussola, Riccardo; Cristoforetti, Marco; Goyal, Srajan; Jonas, Martin; Kapellos, Konstantinos; Micheli, Andrea; Soldà, Davide; Tonetta, Stefano; Tranoris, Christos; Valentini, Alessandro
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| An SMT-based approach to weak controllability for disjunctive temporal problems with uncertainty | 1-gen-2015 | Cimatti, Alessandro; Micheli, Andrea; Roveri, Marco | |
| 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 | |
| Expressive Optimal Temporal Planning via Optimization Modulo Theory | 1-gen-2023 | Panjkovic, Stefan; Micheli, Andrea | |
| 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 | |
| On the Expressive Power of Intermediate and Conditional Effects in Temporal Planning | 1-gen-2022 | Gigante, Nicola; Micheli, Andrea; Scala, Enrico | |
| Opportunistic (Re)planning for Long-Term Deep-Ocean Inspection: An Autonomous Underwater Architecture | 1-gen-2024 | Tosello, Elisa; Bonel, Paolo; Buranello, Alberto; Carraro, Marco; Cimatti, Alessandro; Granelli, Lorenzo; Panjkovic, Stefan; Micheli, Andrea | |
| 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 | |
| RobDT: AI-enhanced Digital Twin for Space Exploration Robotic Assets | 1-gen-2023 | Bozzano, Marco; Bussola, Riccardo; Cristoforetti, Marco; Goyal, Srajan; Jonas, Martin; Kapellos, Konstantinos; Micheli, Andrea; Soldà, Davide; Tonetta, Stefano; Tranoris, Christos; Valentini, Alessandro |