TkT: Automatic Inference of Timed and Extended Pushdown Automata.
Fabrizio PastoreDaniela MicucciMichell GuzmanLeonardo MarianiPublished in: IEEE Trans. Software Eng. (2022)
Keyphrases
- timed automata
- model checking
- cellular automata
- finite state
- finite state machines
- random fields
- real world
- image segmentation
- finite automata
- petri net
- semi automatic
- data mining
- probabilistic inference
- bayesian inference
- fully automatic
- tree automata
- inference mechanism
- inference process
- database
- data driven
- natural language
- image sequences
- computer vision
- machine learning