Example of a Complementary use of Model Checking and Agent-based Simulation

TitleExample of a Complementary use of Model Checking and Agent-based Simulation
Publication TypeConference Proceedings
AuthorsGelman, G., K. M. Feigh, and J. Rushby
Map of Cognitive Engineering Center

Cognitive Engineering Center (CEC)
Georgia Institute of Technology
270 Ferst Drive
Atlanta GA 30332-0150