ResearchTrend.AI
Correct-by-Construction Design of Contextual Robotic Missions Using Contracts
v1v2v3 (latest)

Correct-by-Construction Design of Contextual Robotic Missions Using Contracts

Piergiuseppe Mallozzi
Pierluigi Nuzzo
Nir Piterman
G. Schneider
Patrizio Pelliccione
ArXiv (abs)PDFHTML

Papers citing "Correct-by-Construction Design of Contextual Robotic Missions Using Contracts"

Title
No papers