Published October 24, 2019 | Version v1
Presentation Open

Deadlock free dispatching for fleets of vehicles

Creators

  • 1. ISTI CNR
  • 2. Giorgio Oronzo

Description

  Invited talk -  Deadlock free dispatching for fleets of vehicles

at Forum Méthodes Formelles - "Véhicules Autonomes et Méthodes Formelles"

Toulouse, 10 Octobre 2017

Files

Forum Méthodes Formelles AESE.pdf

Files (2.7 MB)

Name Size Download all
md5:7825b764b3cb3bf30c9ebd1a38408401
409.2 kB Preview Download
md5:2c7a33b5b77f1afe681fa46d4a12c27b
2.3 MB Preview Download