Runtime Verification with Imperfect Information Through Indistinguishability Relations

DOI10.1007/978-3-031-17108-6_21zbMath1525.68076OpenAlexW4296959783MaRDI QIDQ6111611

Angelo Ferrando, Vadim Malvone

Publication date: 4 August 2023

Published in: Software Engineering and Formal Methods (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-031-17108-6_21

zbMATH Keywords

autonomous systemsimperfect informationruntime verification

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Artificial intelligence for robotics (68T40)

Cites Work

• Unnamed Item
• Foundations of rational agency
• A brief account of runtime verification
• Approximating Perfect Recall when Model Checking Strategic Abilities: Theory and Applications
• Monitoring of Real-Time Properties

This page was built for publication: Runtime Verification with Imperfect Information Through Indistinguishability Relations