Paolo Izzo

Publication Activity (10 Years)

Years Active: 2016-2016
Publications (10 Years): 3

Top Topics

Autonomous Control

Analogical Reasoning

Top Venues

Publications

Paolo Izzo, Hongyang Qu, Sandor M. Veres
Reducing complexity of autonomous control agents for verifiability. CoRR (2016)
Paolo Izzo, Hongyang Qu, Sandor M. Veres
A stochastically verifiable autonomous control architecture with reasoning. CDC (2016)
Paolo Izzo, Hongyang Qu, Sandor M. Veres
A stochastically verifiable autonomous control architecture with reasoning. CoRR (2016)