Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
1611.03372
Cited By
A stochastically verifiable autonomous control architecture with reasoning
10 November 2016
Paolo Izzo
Hongyang Qu
S. Veres
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"A stochastically verifiable autonomous control architecture with reasoning"
2 / 2 papers shown
Formal Specification and Verification of Autonomous Robotic Systems: A Survey
ACM Computing Surveys (CSUR), 2018
Matt Luckcuck
M. Farrell
Louise A. Dennis
C. Dixon
Michael Fisher
493
172
0
29 Jun 2018
Robotics and Integrated Formal Methods: Necessity meets Opportunity
M. Farrell
Matt Luckcuck
Michael Fisher
263
53
0
02 May 2018
1
Page 1 of 1
