Model checking learning agent systems using Promela with embedded C code and abstraction

DOI10.1007/S00165-016-0382-2zbMATH Open1348.68250OpenAlexW2416870687WikidataQ59477123 ScholiaQ59477123MaRDI QIDQ333329FDOQ333329

Authors Ryan Kirwan, Bernd Porr, Alice Miller

Publication date 28 October 2016

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

Full work available at URL https://doi.org/10.1007/s00165-016-0382-2

zbMATH Keywords

simulationlearningmodel checkingabstractionagent

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Specification and verification (program logics, model checking, etc.) (68Q60) Artificial intelligence for robotics (68T40)

Recommendations

• Verifying autonomous systems
• Model Checking for Safe Navigation Among Humans
• scientific article; zbMATH DE number 1202873
• scientific article; zbMATH DE number 910719
• Software model checking

Cites work

• scientific article; zbMATH DE number 438994 (Why is no real title available?)
• scientific article; zbMATH DE number 1487860 (Why is no real title available?)
• scientific article; zbMATH DE number 1746650 (Why is no real title available?)
• scientific article; zbMATH DE number 1794359 (Why is no real title available?)
• scientific article; zbMATH DE number 2085340 (Why is no real title available?)
• scientific article; zbMATH DE number 2085344 (Why is no real title available?)
• scientific article; zbMATH DE number 744075 (Why is no real title available?)
• scientific article; zbMATH DE number 3212004 (Why is no real title available?)
• An automatic abstraction technique for verifying featured, parameterised systems
• Behavioral analysis of differential Hebbian learning in closed-loop systems
• ISO Learning Approximates a Solution to the Inverse-Controller Problem in an Unsupervised Behavioral Paradigm
• Kripke modelling approaches of a multiple robots system with minimalist communication: A formal approach of choice
• Modeling and verification of parallel processes. 4th Summer school, MOVEP 2000, Nantes, France, June 19--23, 2000. Revised tutorial lectures
• Strongly Improved Stability and Faster Convergence of Temporal Sequence Learning by Using Input Correlations Only
• Temporal logic motion planning for dynamic robots

Cited in

(1)

• Model Checking for Safe Navigation Among Humans

Describes a project that uses

Uses Software

• PRISM
• SPIN

This page was built for publication: Model checking learning agent systems using Promela with embedded C code and abstraction

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