Sciweavers

198 search results - page 20 / 40
» Learning Unary Automata
Sort
View
TSE
2010
96views more  TSE 2010»
13 years 2 months ago
Learning Communicating Automata from MSCs
Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern...
CONCUR
2012
Springer
11 years 9 months ago
A Theory of History Dependent Abstractions for Learning Interface Automata
Fides Aarts, Faranak Heidarian, Frits W. Vaandrage...
DLT
2010
13 years 8 months ago
Around Dot Depth Two
It is known that the languages definable by formulae of the logics FO2[<,S], 2[<,S], LTL[F,P,X,Y] are exactly the variety DAD. Automata for this class are not known, nor is i...
Kamal Lodaya, Paritosh K. Pandya, Simoni S. Shah