Effective definability of the reachability relation in timed automata.

Martin Fränzle Karin Quaas Mahsa Shirmohammadi James Worrell

Published in: Inf. Process. Lett. (2020)

Keyphrases

timed automata
data sets
multi agent
information retrieval
web services
high quality
database
data mining
knowledge base
state space
distributed systems
model checking
propositional logic