Bharat Garhewal

According to our database, Bharat Garhewal authored at least 5 papers between 2020 and 2025.

Collaborative distances:

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

2025

Active Learning of Mealy Machines with Timers.

Véronique Bruyère, Bharat Garhewal, Guillermo A. Pérez, Gaëtan Staquet, Frits W. Vaandrager

Proceedings of the Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems, 2025

2023

An Experimental Evaluation of Conformance Testing Techniques in Active Automata Learning.

Bharat Garhewal, Carlos Diego Nascimento Damasceno

Proceedings of the 26th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2023

Lower Bounds for Active Automata Learning.

Loes Kruger, Bharat Garhewal, Frits W. Vaandrager

Proceedings of the International Conference on Grammatical Inference, 2023

2022

A New Approach for Active Automata Learning Based on Apartness.

Frits W. Vaandrager, Bharat Garhewal, Jurriaan Rot, Thorsten Wißmann

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

2020

Grey-Box Learning of Register Automata.

Bharat Garhewal, Frits W. Vaandrager, Falk Howar, Timo Schrijvers, Toon Lenaerts, Rob Smits

Proceedings of the Integrated Formal Methods - 16th International Conference, 2020