Maryam Kamali

Identifiers

No identifiers captured yet.

Papers (2)

1. Modular Verification of Vehicle Platooning with Respect to Decisions, Space and Time cs.AI · 2018 · author #1
2. Formal Verification of Autonomous Vehicle Platooning cs.AI · 2016 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Michael Fisher 2 shared papers
• Louise A. Dennis 1 shared papers
• Owen McAree 1 shared papers
• Sandor M. Veres 1 shared papers
• Sven Linker 1 shared papers