On the random structure of behavioural transition systems.

Jan Friso Groote Remco van der Hofstad Matthias Raffelsieper

Published in: Sci. Comput. Program. (2016)

Keyphrases

transition systems
temporal logic
model checking
finite state
concurrent systems
artificial intelligence
multi agent
multiagent systems