Timed Systems through the Lens of Logic.

S. Akshay Paul Gastin Vincent Jugé Shankara Narayanan Krishna

Published in: LICS (2019)

Keyphrases

data mining
digital circuits
real time
data sets
bayesian networks
intelligent systems
computer systems
video sequences
digital libraries
management system
learning systems
retrieval systems
finite state machines
asynchronous circuits