SAT-Based Reachability Checking for Timed Automata with Discrete Data.
Andrzej ZbrzeznyAgata PólrolaPublished in: Fundam. Informaticae (2007)
Keyphrases
- discrete data
- timed automata
- model checking
- continuous data
- theorem prover
- high dimensional
- theorem proving
- answer set programming
- state space
- weighted graph
- first order logic
- real time systems
- temporal logic
- data sets
- real time
- data streams
- latent dirichlet allocation
- clustering algorithm
- similarity search
- graphical models
- continuous attributes
- support vector
- knowledge base
- training data