Efficiently identifying deterministic real-time automata from labeled data

By Verwer Sicco   Weerdt Mathijs   Witteveen Cees  

Machine Learning, Vol. 86, Iss. 3, 2012-03 ,pp. : 295-333

Springer Publishing Company

Access to resources Recommend Favorite

Analytic real-time analysis and timed automata: a hybrid methodology for the performance analysis of embedded real-time systems

By Lampka Kai  

Design Automation for Embedded Systems, Vol. 14, Iss. 3, 2010-09 ,pp. : 193-227

Springer Publishing Company

Access to resources Recommend Favorite

Event-clock automata: a determinizable class of timed automata

By Alur R.   Fix L.   Henzinger T.A.  

Theoretical Computer Science, Vol. 211, Iss. 1, 1999-01 ,pp. : 253-273

Elsevier

Access to resources Recommend Favorite

Language not recognizable in real time by one-way cellular automata

By Terrier V.  

Theoretical Computer Science, Vol. 156, Iss. 1, 1996-03 ,pp. : 281-287

Elsevier

Access to resources Recommend Favorite

Automata over continuous time

By Rabinovich A.  

Theoretical Computer Science, Vol. 300, Iss. 1, 2003-05 ,pp. : 331-363

Elsevier

Access to resources Recommend Favorite