Loes Kruger

According to our database, Loes Kruger authored at least 3 papers between 2023 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Small Test Suites for Active Automata Learning.

Loes Kruger, Sebastian Junges, Jurriaan Rot

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

State Matching and Multiple References in Adaptive Active Automata Learning.

Loes Kruger, Sebastian Junges, Jurriaan Rot

Proceedings of the Formal Methods - 26th International Symposium, 2024

2023

Lower Bounds for Active Automata Learning.

Loes Kruger, Bharat Garhewal, Frits W. Vaandrager

Proceedings of the International Conference on Grammatical Inference, 2023