The following pages link to Andrea Micheli (Q329419):
Displaying 8 items.
- Dynamic controllability via timed game automata (Q329422) (← links)
- An SMT-based approach to weak controllability for disjunctive temporal problems with uncertainty (Q892228) (← links)
- Computation of the transient in max-plus linear systems via SMT-solving (Q1996024) (← links)
- Decidability and complexity of action-based temporal planning over dense time (Q2124463) (← links)
- Solving strong controllability of temporal problems with uncertainty using SMT (Q2342602) (← links)
- Efficient Anytime Computation and Execution of Decoupled Robustness Envelopes for Temporal Plans (Q6080278) (← links)
- Olisipo: A Probabilistic Approach to the Adaptable Execution of Deterministic Temporal Plans. (Q6080282) (← links)
- SMT-based model checking of max-plus linear systems (Q6134268) (← links)