1 citations · 1 across the 2 of their papers we have counts for
10 papers
Incremental Fingerprinting in an Open World
Loes Kruger, Paul Kobialka, Andrea Pferscher +3
Network protocol fingerprinting is used to identify a protocol implementation by analyzing its input-output behavior. Traditionally, fingerprinting operates under a closed-world as…
Error-awareness Accelerates Active Automata Learning
Loes Kruger, Sebastian Junges, Jurriaan Rot
Active automata learning (AAL) algorithms can learn a behavioral model of a system from interacting with it. The primary challenge remains scaling to larger models, in particular i…
Compositional Verification of Almost-Sure Büchi Objectives in MDPs
Marck van der Vegt, Kazuki Watanabe, Ichiro Hasuo +1
This paper studies the verification of almost-sure Büchi objectives in MDPs with a known, compositional structure based on string diagrams. In particular, we ask whether there is…
Small Decision Trees for MDPs with Deductive Synthesis
Roman Andriushchenko, Milan ÄeÅ¡ka, Sebastian Junges +1
Markov decision processes (MDPs) describe sequential decision-making processes; MDP policies return for every state in that process an advised action. Classical algorithms can effi…
A Unifying Approach to Product Constructions for Quantitative Temporal Inference
Kazuki Watanabe, Sebastian Junges, Jurriaan Rot +1
Probabilistic programs are a powerful and convenient approach to formalise distributions over system executions. A classical verification problem for probabilistic programs is temp…
Relating Apartness and Branching Bisimulation Games
Jurriaan Rot, Sebastian Junges, Harsh Beohar
Geuvers and Jacobs (LMCS 2021) formulated the notion of apartness relation on state-based systems modelled as coalgebras. In this context apartness is formally dual to bisimilarity…