Simon Dierl
YOU?
Author Swipe
View article: Scalable Tree-based Register Automata Learning
Scalable Tree-based Register Automata Learning Open
Existing active automata learning (AAL) algorithms have demonstrated their potential in capturing the behavior of complex systems (e.g., in analyzing network protocol implementations). The most widely used AAL algorithms generate finite st…
View article: Scalable Tree-based Register Automata Learning
Scalable Tree-based Register Automata Learning Open
Existing active automata learning (AAL) algorithms have demonstrated their potential in capturing the behavior of complex systems (e.g., in analyzing network protocol implementations). The most widely used AAL algorithms generate finite st…
View article: Unsupervised Automata Learning via Discrete Optimization
Unsupervised Automata Learning via Discrete Optimization Open
Automata learning is a successful tool for many application domains such as robotics and automatic verification. Typically, automata learning techniques operate in a supervised learning setting (active or passive) where they learn a finite…