Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Claudio Menghi
Map detail
Claudio Menghi4 visible / 4 total nodes / 3 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipClaudio MenghiAClaudio MenghiResearcherModeling, refining and analyzing Incomplete Büchi AutomataWModeling, refining and ...preprint / 2016Combining Genetic Programming and Model Checking to Generate Environment AssumptionsWCombining Genetic Progr...preprint / 2021Proceedings of the First Workshop on Agents and Robots for reliable Engineered AutonomyWProceedings of the Firs...preprint / 2020
Person3 links

Claudio Menghi

Researcher