Learning Mealy machines with one timer-Reference-Cited by-同舟云学术

Learning Mealy machines with one timer

Author:

Vaandrager Frits,Ebrahimi Masoud^ORCID,Bloem Roderick

Funder

Nederlandse Organisatie voor Wetenschappelijk Onderzoek

Österreichische Forschungsförderungsgesellschaft

Radboud Universitair Medisch Centrum

TU Graz, Internationale Beziehungen und Mobilitätsprogramme

Radboud University Nijmegen

Publisher

Elsevier BV

Subject

Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science

Reference34 articles.

1. Learning Mealy machines with one timer;Vaandrager,2021

2. From passive to active: learning timed automata efficiently;Aichernig,2020

3. Learning one-clock timed automata;An,2020

4. Protocol state fuzzing of TLS implementations;Ruiter,2015

5. Combining model learning and model checking to analyze TCP implementations;Fiterău-Broştean,2016

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

3. Learning Mealy Machines with Local Timers;Formal Methods and Software Engineering;2023

4. Automata with Timers;Lecture Notes in Computer Science;2023