Publication | Open Access
Verifying autonomous systems
117
Citations
17
References
2013
Year
Artificial IntelligenceEngineeringRobotic AgentVerificationComputer-aided VerificationAutonomous Agent SystemAutonomous SystemsIntelligent SystemsModel VerificationIntelligent AgentFormal VerificationSystems EngineeringComputer ScienceSoftware VerificationAgent TechnologyAutomated ReasoningAutomationFormal MethodsRobotics
Exploring autonomous systems and the agents that control them.
| Year | Citations | |
|---|---|---|
Page 1
Page 1