Andrea Micheli

Available identifiers

Publication	Date of Publication	Type
Efficient Anytime Computation and Execution of Decoupled Robustness Envelopes for Temporal Plans	2023-10-02	Paper
Olisipo: A Probabilistic Approach to the Adaptable Execution of Deterministic Temporal Plans.	2023-10-02	Paper
SMT-based model checking of max-plus linear systems	2023-08-21	Paper
Decidability and complexity of action-based temporal planning over dense time	2022-04-11	Paper
Computation of the transient in max-plus linear systems via SMT-solving	2021-03-02	Paper
Dynamic controllability via timed game automata	2016-10-21	Paper
An SMT-based approach to weak controllability for disjunctive temporal problems with uncertainty	2015-11-18	Paper
Solving strong controllability of temporal problems with uncertainty using SMT	2015-04-29	Paper

This page was built for person: Andrea Micheli