Claudio Menghi

Available identifiers

zbMath Open menghi.claudioMaRDI QIDQ2024358

List of research outcomes

Publication	Date of Publication	Type
Integrating topological proofs with model checking to instrument iterative design	2022-10-13	Paper
TOrPEDO : witnessing model correctness with topological proofs	2022-01-11	Paper
Multi-robot LTL planning under uncertainty	2021-05-04	Paper
Model checking MITL formulae on timed automata. A logic-based approach	2020-09-11	Paper
PuRSUE -- from specification of robotic environments to synthesis of controllers	2020-09-09	Paper
Dealing with incompleteness in automata-based model checking	2020-01-03	Paper
A verification-driven framework for iterative design of controllers	2019-11-18	Paper
From Model Checking to a Temporal Proof for Partial Models	2019-09-16	Paper
Supporting verification-driven incremental distributed design of components	2019-09-16	Paper

Research outcomes over time

This page was built for person: Claudio Menghi