Model checking for improved adaptive behaviour

  title={Model checking for improved adaptive behaviour},
  author={Alice Miller and Ryan F. Kirwan and Bernd Porr and Paolo di Prodi},
Closed loop systems are traditionally analysed using simulation. We show how a formal approach, namely model checking, can be used to enhance and inform this analysis. Specifically, model checking can be used to verify properties for any execution of a system, not just a single experimental path. We describe how model checking has been used to investigate a system consisting of a robot navigating around an environment, avoiding obstacles using sequence learning. We illustrate the power of this… CONTINUE READING


Publications citing this paper.


Publications referenced by this paper.
Showing 1-10 of 26 references

Autonomous Agents and Multi-Agent Systems (special issue on formal aspects of multi-agent systems)

  • B. Dunin-Kȩplicz, R. Verbrugge, editors
  • 2009
1 Excerpt

Similar Papers

Loading similar papers…