A New Approach to Upward-Closed Set Backward Reachability Analysis.

Jesse D. Bingham

Published in: INFINITY (2004)

Keyphrases

reachability analysis
closed sets
model checking
markov decision processes
timed automata
binary data
incremental algorithms
multi relational
inductive inference
state space
set theory
temporal logic
data sets
subgroup discovery
emerging patterns
fixed point
social network analysis