uu.seUppsala University Publications
Change search
ReferencesLink to record
Permanent link

Direct link
Demonstrating Learning of Register Automata
Technical University of Dortmund.
Technical University of Dortmund.
Technical University of Dortmund.
Uppsala University, Disciplinary Domain of Science and Technology, Mathematics and Computer Science, Department of Information Technology, Computer Systems.
Show others and affiliations
2012 (English)In: Tools and Algorithms for the Construction and Analysis of Systems - 18th International Conference, / [ed] Cormac Flanagan and Barbara K├Ânig, Berlin: Springer Berlin/Heidelberg, 2012, 466-471 p.Conference paper (Refereed)
Abstract [en]

We will demonstrate the impact of the integration of our most recently developed learning technology for inferring Register Automata into the LearnLib, our framework for active automata learning. This will not only illustrate the unique power of Register Automata, which allows one to faithfully model data independent systems, but also the ease of enhancing the LearnLib with new functionality.

Place, publisher, year, edition, pages
Berlin: Springer Berlin/Heidelberg, 2012. 466-471 p.
, Lecture Notes in Computer Science, ISSN 0302-9743 ; 7214
National Category
Computer Science
Research subject
Computer Science
URN: urn:nbn:se:uu:diva-189972DOI: 10.1007/978-3-642-28756-5ISBN: 978-3-642-28755-8OAI: oai:DiVA.org:uu-189972DiVA: diva2:582624
TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012.
Available from: 2013-01-05 Created: 2013-01-05 Last updated: 2013-12-21

Open Access in DiVA

No full text

Other links

Publisher's full texthttp://link.springer.com/chapter/10.1007/978-3-642-28756-5_32

Search in DiVA

By author/editor
Jonsson, Bengt
By organisation
Computer Systems
Computer Science

Search outside of DiVA

GoogleGoogle Scholar
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Altmetric score

Total: 179 hits
ReferencesLink to record
Permanent link

Direct link