collaborators

1 paper

cs.FL2026

Learning Alternating Real-Time Automata

Kazuki Kinoshita, Masaki Waga

We present the AL*RTA algorithm for learning alternating real-time automata (ARTAs) using membership and equivalence queries. AL*RTA combines ideas from AL*for learning alternating…