Zobrazeno 1 - 10
of 18
pro vyhledávání: '"Svozil, Alexander"'
Autor:
Svozil, Alexander
The goal of the thesis is to leverage fast graph algorithms and modern algorithmic techniques for problems in model checking and synthesis on graphs, MDPs, and game graphs. The results include symbolic algorithms, a well-known class of algorithms in
Externí odkaz:
http://arxiv.org/abs/2202.02660
We present a faster symbolic algorithm for the following central problem in probabilistic verification: Compute the maximal end-component (MEC) decomposition of Markov decision processes (MDPs). This problem generalizes the SCC decomposition problem
Externí odkaz:
http://arxiv.org/abs/2104.07466
The fundamental model-checking problem, given as input a model and a specification, asks for the algorithmic verification of whether the model satisfies the specification. Two classical models for reactive systems are graphs and Markov decision proce
Externí odkaz:
http://arxiv.org/abs/1909.05539
Solving parity games, which are equivalent to modal $\mu$-calculus model checking, is a central algorithmic problem in formal methods. Besides the standard computation model with the explicit representation of games, another important theoretical mod
Externí odkaz:
http://arxiv.org/abs/1909.04983
Clustering is one of the most fundamental problems in unsupervised learning with a large number of applications. However, classical clustering algorithms assume that the data is static, thus failing to capture many real-world applications where data
Externí odkaz:
http://arxiv.org/abs/1908.03948
We consider planning problems for graphs, Markov decision processes (MDPs), and games on graphs. While graphs represent the most basic planning model, MDPs represent interaction with nature and games on graphs represent interaction with an adversaria
Externí odkaz:
http://arxiv.org/abs/1804.07031
Graph games provide the foundation for modeling and synthesis of reactive processes. Such games are played over graphs where the vertices are controlled by two adversarial players. We consider graph games where the objective of the first player is th
Externí odkaz:
http://arxiv.org/abs/1706.06139
Autor:
Svozil, Alexander, Svozil, Karl
Publikováno v:
in "Swarm Intelligence", ed. by Andrew Schumann (CRC} Press, Taylor & Francis Group, LLC, Boca Raton, FL, 2021), p. 170-180
Machine learning presents a general, systematic framework for the generation of formal theoretical models for physical description and prediction. Tentatively standard linear modeling techniques are reviewed; followed by a brief discussion of general
Externí odkaz:
http://arxiv.org/abs/1609.03862
Publikováno v:
In Artificial Intelligence August 2021 297
Autor:
Svozil, Alexander
Ein Modellprüfer kontrolliert ob ein gegebenes Modell eines Systems eine Anforderung erfüllt. In der reaktiven Synthese ist die Eingabe eine Anforderung und das Ziel ist ein korrektes reaktives System zu erzeugen. Wir betrachten folgende Modelle: (
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::734f813d347cfac08e0f8e15557ad74f