Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Cristian-Ioan Vasile

Compositional and Contract-Based Verification for Autonomous Driving on Road Networks

Robotics Research

English