Showing cs.FLShow all
3 papers · 1 filter
cs.FL2026
Reachability in Fixed-Dimensional Continuous VASS
Michal Ajdarów, A. R. Balasubramanian, Łukasz Orlikowski
Vector Addition System with States (VASS) are a ubiquitous model of infinite-state systems consisting of a set of non-negative counters which can be incremented and decremented. It…
cs.FL2025
Efficient Analysis of Polynomial Asymptotic Estimates for VASS MDPs
Michal Ajdarów
Markov decision process over vector addition system with states (VASS MDP) is a finite state model combining non-deterministic and probabilistic behavior, augmented with non-negati…
cs.FL2023
Asymptotic Complexity Estimates for Probabilistic Programs and their VASS Abstractions
Michal Ajdarów, Antonín Kučera
The standard approach to analyzing the asymptotic complexity of probabilistic programs is based on studying the asymptotic growth of certain expected values (such as the expected t…