Paolo Izzo

Identifiers

No identifiers captured yet.

Papers (2)

1. A stochastically verifiable autonomous control architecture with reasoning cs.RO · 2016 · author #1
2. Reducing complexity of autonomous control agents for verifiability cs.SY · 2016 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Hongyang Qu 2 shared papers
• Sandor M. Veres 2 shared papers