Login / Signup
Symbolic Timed Observational Equivalence.
Vivek Nigam
Carolyn L. Talcott
Abraão Aires Urquiza
Published in:
CoRR (2018)
Keyphrases
</>
petri net
symbolic representation
databases
high level
connectionist models
timed automata
symbolic reasoning
real world
symbolic description
database
information retrieval
artificial intelligence
data structure
search algorithm
symbolic data
neural learning