Exploiting the impossible: improving resilience of critical decision making against misperceptions

DOI10.1016/J.IJAR.2026.109825MaRDI QIDQ7405707zbMATH OpenFDO

Authors Martin Fränzle, Paul Kröger, Anna Nienaber

Publication date 2026

Published in International Journal of Approximate Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/J.IJAR.2026.109825

zbMATH Keywords

autonomous cyber-physical systemsdecisions under uncertaintyperceptive uncertaintyrobustificationsafety-critical decision making

Mathematics Subject Classification ID

Probability and inductive logic (03B48) Logic in computer science (03B70) Combinatorial probability (60C05) Numerical mathematical programming methods (65K05) Combinatorial optimization (90C27)

Cites work

• scientific article; zbMATH DE number 2238781 (Why is no real title available?)
• Improving the variable ordering of OBDDs is NP-complete
• Map-based precision vehicle localization in urban environments
• ModelPlex: verified runtime validation of verified cyber-physical system models
• On the complexity of constructing optimal ordered binary decision diagrams
• Shield synthesis: runtime enforcement for reactive systems

This page was built for publication: Exploiting the impossible: improving resilience of critical decision making against misperceptions

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