Elaheh Hosseinkhani
Research Staff
Imported from old website. Role: Research Staff
Recent Publications
Inference of Deterministic Finite Automata via Q-Learning
Formal Methods: Foundations and Applications - 28th Brazilian Symposium, SBMF 2025, Recife, Brazil, December 3-5, 2025, Proceedings, 2025
Elaheh Hosseinkhani and Martin Leucker
Inference of Deterministic Finite Automata via Q-Learning
CoRR, 2025
Elaheh Hosseinkhani and Martin Leucker
A Model-Based Approach for Monitoring and Diagnosing Digital Twin Discrepancies
35th International Conference on Principles of Diagnosis and Resilient Systems, DX 2024, Vienna, Austria, November 4-7, 2024, 2024
Elaheh Hosseinkhani and Martin Leucker and Martin Sachenbacher and Hendrik Streichhahn and Lars Bernd Vosteen
Theses on Offer
Contact Information
Elaheh.Hosseinkhani@isp.uni-luebeck.de
Address
3. Floor, Building MFC II
Phone
+49 451 310 16526