Searching for Ribbon-Shaped Paths in Fair Transition Systems.

Marco Bozzano Alessandro Cimatti Stefano Tonetta Viktória Vozárová

Published in: TACAS (1) (2022)

Keyphrases

transition systems
model checking
concurrent systems
temporal logic
practical reasoning
finite state
control flow
reactive systems
shortest path
case study
search strategies
artificial intelligence
model checker