Reachability Analysis Using Polygonal Projections.

Mark R. Greenstreet Ian Mitchell

Published in: HSCC (1999)

Keyphrases

reachability analysis
model checking
markov decision processes
timed automata
incremental algorithms
state space
three dimensional
tomographic reconstruction
temporal logic
search algorithm
radon transform
reinforcement learning
convex sets