Edi Muskardin

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 17

Top Topics

Reinforcement Learning

Recurrent Neural Networks

Inductive Inference

Top Venues

Innov. Syst. Softw. Eng.

Publications

Edi Muskardin, Martin Tappler, Bernhard K. Aichernig, Ingo Pill
Active model learning of stochastic reactive systems (extended version). Softw. Syst. Model. 23 (2) (2024)
Edi Muskardin, Martin Tappler, Ingo Pill, Bernhard K. Aichernig, Thomas Pock
On the Relationship Between RNN Hidden-State Vectors and Semantic Structures. ACL (Findings) (2024)
Edi Muskardin, Martin Tappler, Bernhard K. Aichernig
Testing-based Black-box Extraction of Simple Models from RNNs and Transformers. ICGI (2023)
Andrea Pferscher, Benjamin Wunderling, Bernhard K. Aichernig, Edi Muskardin
Mining Digital Twins of a VPN Server. FMDT@FM (2023)
Edi Muskardin, Martin Tappler, Ingo Pill, Bernhard K. Aichernig, Thomas Pock
On the Relationship Between RNN Hidden State Vectors and Semantic Ground Truth. CoRR (2023)
Edi Muskardin, Martin Tappler, Bernhard K. Aichernig, Ingo Pill
Reinforcement Learning Under Partial Observability Guided by Learned Environment Models. iFM (2023)
Martin Tappler, Edi Muskardin, Bernhard K. Aichernig, Bettina Könighofer
Learning Environment Models with Continuous Stochastic Dynamics. CoRR (2023)
Edi Muskardin, Bernhard K. Aichernig, Ingo Pill, Andrea Pferscher, Martin Tappler
AALpy: an active automata learning library. Innov. Syst. Softw. Eng. 18 (3) (2022)
Edi Muskardin, Martin Tappler, Bernhard K. Aichernig, Ingo Pill
Reinforcement Learning under Partial Observability Guided by Learned Environment Models. CoRR (2022)
Martin Tappler, Stefan Pranger, Bettina Könighofer, Edi Muskardin, Roderick Bloem, Kim G. Larsen
Automata Learning Meets Shielding. ISoLA (1) (2022)
Martin Tappler, Stefan Pranger, Bettina Könighofer, Edi Muskardin, Roderick Bloem, Kim G. Larsen
Automata Learning meets Shielding. CoRR (2022)
Bernhard K. Aichernig, Edi Muskardin, Andrea Pferscher
Active vs. Passive: A Comparison of Automata Learning Paradigms for Network Protocols. FMAS/ASYDE@SEFM (2022)
Edi Muskardin, Bernhard K. Aichernig, Ingo Pill, Martin Tappler
Learning Finite State Models fromRecurrent Neural Networks. IFM (2022)
Bernhard K. Aichernig, Edi Muskardin, Andrea Pferscher
Learning-Based Fuzzing of IoT Message Brokers. ICST (2021)
Martin Tappler, Edi Muskardin, Bernhard K. Aichernig, Ingo Pill
Active Model Learning of Stochastic Reactive Systems. SEFM (2021)
Edi Muskardin, Bernhard K. Aichernig, Ingo Pill, Andrea Pferscher, Martin Tappler
AALpy: An Active Automata Learning Library. ATVA (2021)
Edi Muskardin, Ingo Pill, Franz Wotawa
CatIO - A Framework for Model-Based Diagnosis of Cyber-Physical Systems. ISMIS (2020)