A stochastically verifiable autonomous control architecture with reasoning. - Paolo Izzo; Hongyang Qu 001; Sandor M. Veres (CDC, 2016)

Reducing complexity of autonomous control agents for verifiability. - Paolo Izzo; Hongyang Qu 001; Sandor M. Veres (CoRR, 2016)