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

DOI10.1007/s00165-016-0382-2zbMath1348.68250OpenAlexW2416870687WikidataQ59477123 ScholiaQ59477123MaRDI QIDQ333329

Ryan Kirwan, Bernd Porr, Alice Ann 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

simulationlearningagentmodel checkingabstraction

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)

Uses Software

• PRISM
• SPIN

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• An automatic abstraction technique for verifying featured, parameterised systems
• Temporal logic motion planning for dynamic robots
• 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
• Strongly Improved Stability and Faster Convergence of Temporal Sequence Learning by Using Input Correlations Only
• 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

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