Micheli, Andrea

Micheli, Andrea  

PSO  

Mostra records
Risultati 1 - 20 di 42 (tempo di esecuzione: 0.031 secondi).
Titolo Data di pubblicazione Autore(i) File
A Meta-Engine Framework for Interleaved Task and Motion Planning using Topological Refinements 1-gen-2024 Tosello, Elisa; Valentini, Alessandro; Micheli, Andrea
Abstract Action Scheduling for Optimal Temporal Planning via OMT 1-gen-2024 Panjkovic, Stefan; Micheli, Andrea
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-2020 Gigante, Nicola; Micheli, Andrea; Montanari, Angelo; Scala, Enrico
Decidability and Complexity of Action-Based Temporal Planning over Dense Time 1-gen-2022 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