Micheli, Andrea
Micheli, Andrea
PSO
A Meta-Engine Framework for Interleaved Task and Motion Planning using Topological Refinements
2024-01-01 Tosello, Elisa; Valentini, Alessandro; Micheli, Andrea
A SysML v2 Based Modeling Language and Tool for Task Planning and Runtime Verification with Digital Twins
2026-01-01 Cristoforetti, Luca; Flori, Alessandro; Fonda, Tommaso; Kapellos, Kostantinos; Micheli, Andrea; Tonetta, Stefano; Valentini, Alessandro
Abstract Action Scheduling for Optimal Temporal Planning via OMT
2024-01-01 Panjkovic, Stefan; Micheli, Andrea
Against the Clock: Lessons Learned by Applying Temporal Planning in Practice
2025-01-01 Micheli, Andrea
AI for industry at FBK
2025-01-01 Cimatti, Alessandro; Antonelli, Fabio; Bentivogli, Luisa; Cristoforetti, Marco; Micheli, Andrea; Poiesi, Fabio; Remondino, Fabio; Susi, Angelo; Tonetta, Stefano
An SMT-based approach to weak controllability for disjunctive temporal problems with uncertainty
2015-01-01 Cimatti, Alessandro; Micheli, Andrea; Roveri, Marco
Automatic Selection of Macro-Events for Heuristic-Search Temporal Planning
2025-01-01 La Farciola, Alessandro; Valentini, Alessandro; Micheli, Andrea
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
Counterfactual Scenarios for Automated Planning
2025-01-01 Gigante, Nicola; Leofante, Francesco; Micheli, Andrea
Decidability and Complexity of Action-Based Temporal Planning over Dense Time
2020-01-01 Gigante, Nicola; Micheli, Andrea; Montanari, Angelo; Scala, Enrico
Decidability and Complexity of Action-Based Temporal Planning over Dense Time
2022-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
Exploiting Symbolic Heuristics for the Synthesis of Domain-Specific Temporal Planning Guidance Using Reinforcement Learning
2025-01-01 Brugnara, Irene; Valentini, Alessandro; Micheli, Andrea
Expressive Optimal Temporal Planning via Optimization Modulo Theory
2023-01-01 Panjkovic, Stefan; Micheli, Andrea
Generalizing Platform-Aware Mission Planning for Infinite-State Timed Transition Systems
2025-01-01 Panjkovic, Stefan; Cimatti, Alessandro; Micheli, Andrea; Tonetta, Stefano
| 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 | |
| A SysML v2 Based Modeling Language and Tool for Task Planning and Runtime Verification with Digital Twins | 1-gen-2026 | Cristoforetti, Luca; Flori, Alessandro; Fonda, Tommaso; Kapellos, Kostantinos; Micheli, Andrea; Tonetta, Stefano; Valentini, Alessandro | |
| Abstract Action Scheduling for Optimal Temporal Planning via OMT | 1-gen-2024 | Panjkovic, Stefan; Micheli, Andrea | |
| Against the Clock: Lessons Learned by Applying Temporal Planning in Practice | 1-gen-2025 | Micheli, Andrea | |
| AI for industry at FBK | 1-gen-2025 | Cimatti, Alessandro; Antonelli, Fabio; Bentivogli, Luisa; Cristoforetti, Marco; Micheli, Andrea; Poiesi, Fabio; Remondino, Fabio; Susi, Angelo; Tonetta, Stefano | |
| An SMT-based approach to weak controllability for disjunctive temporal problems with uncertainty | 1-gen-2015 | Cimatti, Alessandro; Micheli, Andrea; Roveri, Marco | |
| Automatic Selection of Macro-Events for Heuristic-Search Temporal Planning | 1-gen-2025 | La Farciola, Alessandro; Valentini, Alessandro; Micheli, Andrea | |
| 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 | |
| Counterfactual Scenarios for Automated Planning | 1-gen-2025 | Gigante, Nicola; Leofante, Francesco; Micheli, Andrea | |
| 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 | |
| Exploiting Symbolic Heuristics for the Synthesis of Domain-Specific Temporal Planning Guidance Using Reinforcement Learning | 1-gen-2025 | Brugnara, Irene; Valentini, Alessandro; Micheli, Andrea | |
| Expressive Optimal Temporal Planning via Optimization Modulo Theory | 1-gen-2023 | Panjkovic, Stefan; Micheli, Andrea | |
| Generalizing Platform-Aware Mission Planning for Infinite-State Timed Transition Systems | 1-gen-2025 | Panjkovic, Stefan; Cimatti, Alessandro; Micheli, Andrea; Tonetta, Stefano |