RoboWorld: verification of robotic systems with environment in the loop

DOI10.1145/3625563MaRDI QIDQ7028285zbMATH OpenFDO

Authors James Baxter, Gustavo O. Carvalho, Ana Cavalcanti, Francisco Rodrigues Júnior

Publication date 12 February 2025

Published in Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/3625563

zbMATH Keywords

controlled natural languagesdomain-specific languageshybrid systemsmodel-driven engineeringprocess algebra

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Artificial intelligence for robotics (68T40)

Cites work

• A refinement strategy for Circus
• Automated compositional proofs for real-time systems
• Differential Hoare Logics and Refinement Calculi for Hybrid Systems with Isabelle/HOL
• FDR3 -- a modern refinement checker for CSP
• Formal Approaches to Software Testing
• scientific article; zbMATH DE number 5344975 (Why is no real title available?)
• scientific article; zbMATH DE number 605917 (Why is no real title available?)
• scientific article; zbMATH DE number 2080040 (Why is no real title available?)
• scientific article; zbMATH DE number 1759984 (Why is no real title available?)
• Test generation from state based use case models
• Understanding concurrent systems
• Unifying theories of reactive design contracts

This page was built for publication: RoboWorld: verification of robotic systems with environment in the loop

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7028285)