Timed Systems through the Lens of Logic.

S. Akshay Paul Gastin Vincent Jugé Shankara Narayanan Krishna

Published in: CoRR (2019)

Keyphrases

real world
asynchronous circuits
complex systems
learning systems
building blocks
management system
information retrieval
hidden markov models
computer systems
knowledge based systems
logic programming
multi agent
genetic algorithm
petri net
digital circuits
predicate logic
data sets