A spatial algorithm for the analysis of transportation systems using statistical model checking.

Daniël Reijsbergen Stephen Gilmore

Published in: CoRR (2020)

Keyphrases

model checking
optimal solution
np hard
transportation systems
deterministic finite automaton
computational complexity
temporal logic
verification method