-
1
Formal Approach to the Deployment of Distributed Robotic Teams
Veröffentlicht in IEEE transactions on robotics
VolltextArtikel -
2
-
3
LTL Control in Uncertain Environments with Probabilistic Satisfaction Guarantees
Veröffentlicht in IFAC Proceedings Volumes
VolltextArtikel -
4
Probabilistically Safe Vehicle Control in a Hostile Environment
Veröffentlicht in IFAC Proceedings Volumes
VolltextArtikel -
5