2 citations · 2 across the 3 of their papers we have counts for
4 papers
A Lazy Abstraction Algorithm for Markov Decision Processes: Theory and Initial Evaluation
Dániel Szekeres, Kristóf Marussy, István Majzik
Analysis of Markov Decision Processes (MDP) is often hindered by state space explosion. Abstraction is a well-established technique in model checking to mitigate this issue. This p…
Certifying Robustness of Graph Convolutional Networks for Node Perturbation with Polyhedra Abstract Interpretation
Boqi Chen, Kristóf Marussy, Oszkár Semeráth +2
Graph convolutional neural networks (GCNs) are powerful tools for learning graph-based knowledge representations from training data. However, they are vulnerable to small perturbat…
Worst-Case Execution Time Calculation for Query-Based Monitors by Witness Generation
Márton Búr, Kristóf Marussy, Brett H. Meyer +1
Runtime monitoring plays a key role in the assurance of modern intelligent cyber-physical systems, which are frequently data-intensive and safety-critical. While graph queries can…
Simulation-based Safety Assessment of High-level Reliability Models
Simon József Nagy, Bence Graics, Kristóf Marussy +1
Systems engineering approaches use high-level models to capture the architecture and behavior of the system. However, when safety engineers conduct safety and reliability analysis,…