Verifying autonomous systems

DOI10.1007/978-3-031-07727-2_1zbMath1502.68181OpenAlexW4285250784MaRDI QIDQ2165494

Louise Abigail Dennis

Publication date: 19 August 2022

Full work available at URL: https://doi.org/10.1007/978-3-031-07727-2_1

zbMATH Keywords

verificationmodel checkingautonomous systemsruntime verification

Mathematics Subject Classification ID

Automated systems (robots, etc.) in control theory (93C85) Specification and verification (program logics, model checking, etc.) (68Q60)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Foundations of rational agency
• A survey of safety and trustworthiness of deep neural networks: verification, testing, adversarial attack and defence, and interpretability
• Comparing trace expressions and linear temporal logic for runtime verification
• Programming Rational Agents in GOAL
• Formal Verification of Control Systems Software
• Programming Multi-Agent Systems in AgentSpeak usingJason
• Automated Technology for Verification and Analysis
• Formal Methods for the Design of Real-Time Systems

This page was built for publication: Verifying autonomous systems