Merge-and-Shrink: A Compositional Theory of Transformations of Factored Transition Systems.

Silvan Sievers Malte Helmert

Published in: J. Artif. Intell. Res. (2021)

Keyphrases

transition systems
concurrent systems
temporal logic
finite state
model checking
practical reasoning
fully observable
social networks
case study
search algorithm
search space