Edi Muškardin

Logo

Scientist @ Silicon Austria Labs

Back To Homepage

Publications

I attempt to keep track of the publications here, but Google Scholar might be more up to date :)

PhD thesis

2024

Learning Environment Models with Continuous Stochastic Dynamics

Active Model Learning of Git Version Control System

Active Learning of Stochastic Reactive Systems (Extended Version)

2023

Mining Digital Twins of a VPN Server

Testing-based Black-box Extraction of Simple Models from RNNs and Transformers

Won the TAYSIR competition :)

Reinforcement Learning Under Partial Observability Guided by Learned Environment Models

On the Relationship Between RNN Hidden State Vectors and Semantic Ground Truth

2022

Active vs. Passive: A Comparison of Automata Learning Paradigms for Network Protocols

Automata Learning meets Shielding

Learning Finite State Models from Recurrent Neural Networks

AALpy: Active Automata Learning Library (extended version)

2021

Active Learning of Stochastic Reactive Systems

Won best paper award :)

Automata Learning Enabling Model-Based Diagnosis

AALpy: Active Automata Learning Library

Learning-Based Fuzzing of IoT Message Brokers

Diagnosing Cyber-Physical Systems with CatIO

CatIO - A Framework for Model-Based Diagnosis of Cyber-Physical Systems

Implementation of Hashing Algorithms in Stream Mining