Login / Signup

Timed Automata Verification and Synthesis via Finite Automata Learning.

Ocan Sankur
Published in: TACAS (2) (2023)
Keyphrases
  • finite automata
  • model checking
  • timed automata
  • relational databases
  • database
  • real time
  • low cost
  • data exchange
  • theorem proving
  • grammatical inference