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