Logics for Weighted Timed Pushdown Automata.
Manfred DrosteVitaly PerevoshchikovPublished in: Fields of Logic and Computation II (2015)
Keyphrases
- timed automata
- model checking
- finite state machines
- epistemic logic
- finite state
- modal logic
- petri net
- cellular automata
- expressive power
- temporal logic
- data sets
- finite automata
- weighted sum
- markov chain
- regular expressions
- theorem proving
- pattern matching
- website
- nonmonotonic logics
- data mining
- databases
- weighted distance
- finite state automata
- real time
- lattice gas