Complexity in Simplicity: Flexible Agent-Based State Space Exploration.

Jacob Illum Rasmussen, Gerd Behrmann, Kim Guldstrand Larsen

Browse the full TACAS paper archive.