Reachability Analysis via Orthogonal Sets of Patterns.

Jérôme Feret Kim Quyên Lý

Published in: SASB (2018)

Keyphrases

reachability analysis
timed automata
model checking
markov decision processes
pattern mining
relational databases
design patterns
pattern discovery
closed sets
condensed representations
incremental algorithms
visual features
theorem proving
pattern set