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
Recommendations
Learning and adaptive systems in artificial intelligence (68T05) Specification and verification (program logics, model checking, etc.) (68Q60) Artificial intelligence for robotics (68T40)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- 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
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- 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
- An automatic abstraction technique for verifying featured, parameterised systems
Cited In (1)
Uses Software
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)
