• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Effective definability of the reachability relation in timed automata.

Martin FränzleKarin QuaasMahsa ShirmohammadiJames 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