CLAUDIO MENGHI

Assistant Professor

McMaster University

Canada

Research Interests

Explore related searches

Professors in Canada Professors in Artificial Intelligence Artificial Intelligence professors in Canada

Contact this professor

Get a free first email built on one of their papers, ready for you to edit and send yourself.

Articles (9)

Year:

2023

Year:

2021

Year:

2021

Year:

2021

Year:

2021

Year:

2021

Year:

2021

Year:

2020

Year:

2020

Collaborators (6)

Khouloud Gaaloul

Oakland University

UNITED STATES

View details

Rafael Cardoso

The University of Manchester

UNITED KINGDOM

View details

Radu Calinescu

University of York

UNITED KINGDOM

View details

Christos Tsigkanos

National and Kapodistrian University of Athens

GREECE

View details

Angelo Ferrando

Assistant Professor

University of Modena and Reggio Emilia

ITALY

View details

Daniela Briola

RTD-B (Assistant Professor)

ITALY

View details

ApplyKite TwinLearns as you apply

Make your next move.

Prepare your application

Review drafts before you send them.

CLAUDIO MENGHI

Research Interests

Explore related searches

Contact this professor

Articles (9)

Mission Specification Patterns for Mobile Robots: Providing Support for Quantitative Properties

A survey on the design space of end-user-oriented languages for specifying robotic missions

Agents and robots for reliable engineered autonomy: A perspective from the organisers of area 2020

Combining Genetic Programming and Model Checking to Generate Environment Assumptions

Special issue: Agents and robots for reliable engineered autonomy

Specification Patterns for Robotic Missions

TOrPEDO: witnessing model correctness with topological proofs

Model Checking MITL Formulae on Timed Automata: A Logic-based Approach

PuRSUE -from specification of robotic environments to synthesis of controllers

Collaborators (6)

Khouloud Gaaloul

Rafael Cardoso

Radu Calinescu

Christos Tsigkanos

Angelo Ferrando

Daniela Briola

Make your next move.