non-empty transition systems / concurrent systems / nite-state systems / reasonable exponential algorithms / tableaux proof systems / reasonable algorithm / linear-time model checking algorithm / transition systems / polynomial time algorithm / nite state concurrent systems / car approaches / car crossing / nite-state concurrent systems / local model checking proof systems / actions car / /
Organization
Computer Science University / University of Edinburgh / /
Person
Mark Jerrum / Colin Stirling / /
Position
wins and otherwise player / player / /
Technology
reasonable algorithm / linear-time model checking algorithm / reasonable exponential algorithms / polynomial time algorithm / CAV / /