Claudio Menghi
From MaRDI portal
Person:2024358
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Integrating topological proofs with model checking to instrument iterative design Fundamental Approaches to Software Engineering | 2022-10-13 | Paper |
| TOrPEDO : witnessing model correctness with topological proofs Formal Aspects of Computing | 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 ACM Transactions on Computational Logic | 2020-09-11 | Paper |
| PuRSUE -- from specification of robotic environments to synthesis of controllers Formal Aspects of Computing | 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 Formal Aspects of Computing | 2019-11-18 | Paper |
| From Model Checking to a Temporal Proof for Partial Models Software Engineering and Formal Methods | 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
