Login / Signup
A Logical Characterization for Dense-Time Visibly Pushdown Automata.
Devendra Bhave
Vrunda Dave
Shankara Narayanan Krishna
Ramchandra Phawade
Ashutosh Trivedi
Published in:
LATA (2016)
Keyphrases
</>
finite state
cellular automata
model checking
probabilistic automata
information systems
regular expressions
logical reasoning
data sets
multiresolution
moving objects
object recognition
probabilistic logic
logical framework
turing machine
image sequences
logical rules
timed automata
neural network