Top

Published in:

Open Access 01-11-2016 | Original Article

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

Authors: Ryan Kirwan, Alice Miller, Bernd Porr

Title: Model checking learning agent systems using Promela with embedded C code and abstraction
Authors: Ryan Kirwan
Alice Miller
Bernd Porr
Publication date: 01-11-2016
Publisher: Springer London
Published in: Formal Aspects of Computing / Issue 6/2016
Print ISSN: 0934-5043
Electronic ISSN: 1433-299X
DOI: https://doi.org/10.1007/s00165-016-0382-2

Premium Partner