The following pages link to Claudio Menghi (Q2024358):
Displayed 9 items.
- Multi-robot LTL planning under uncertainty (Q2024360) (← links)
- TOrPEDO : witnessing model correctness with topological proofs (Q2065548) (← links)
- PuRSUE -- from specification of robotic environments to synthesis of controllers (Q2198133) (← links)
- Dealing with incompleteness in automata-based model checking (Q2281650) (← links)
- Supporting verification-driven incremental distributed design of components (Q2324188) (← links)
- A verification-driven framework for iterative design of controllers (Q2335947) (← links)
- Integrating Topological Proofs with Model Checking to Instrument Iterative Design (Q5039527) (← links)
- Model Checking MITL Formulae on Timed Automata (Q5121277) (← links)
- From Model Checking to a Temporal Proof for Partial Models (Q5194652) (← links)