Forward and backward: Bounded model checking of linear hybrid automata from two directions.

Yang Yang Lei Bu Xuandong Li

Published in: FMCAD (2012)

Keyphrases

forward and backward
bounded model checking
hybrid automata
model checking
formal verification
dynamic programming
temporal logic
linear temporal logic
finite state automata
heuristic search
neural network
cooperative
search algorithm
multi agent systems
genetic programming
greedy search