APEX: An analyzer for open probabilistic programs

APEX: An analyzer for open probabilistic programs

We present APEX, a tool for analysing probabilistic programs that are open, i.e. where variables or even functions can be left unspecified. APEX transforms a program into an automaton that captures the program's probabilistic behaviour under all instantiations of the unspecified components. The...

Disgrifiad llawn

Manylion Llyfryddiaeth
Prif Awduron:	Kiefer, S, Murawski, A, Ouaknine, J, Wachter, B, Worrell, J
Fformat:	Journal article
Iaith:	English
Cyhoeddwyd:	2012

Eitemau Tebyg

Language equivalence for probabilistic automata
gan: Kiefer, S, et al.
Cyhoeddwyd: (2011)

Algorithmic probabilistic game semantics
gan: Kiefer, S, et al.
Cyhoeddwyd: (2013)

On the Complexity of the Equivalence Problem for Probabilistic Automata
gan: Kiefer, S, et al.
Cyhoeddwyd: (2012)

On automated verification of probabilistic programs
gan: Legay, A, et al.
Cyhoeddwyd: (2008)

Three tokens in Herman's algorithm
gan: Kiefer, S, et al.
Cyhoeddwyd: (2012)

ON THE COMPLEXITY OF EQUIVALENCE AND MINIMISATION FOR Q-WEIGHTED AUTOMATA
gan: Kiefer, S, et al.
Cyhoeddwyd: (2013)

On the Complexity of Equivalence and Minimisation for Q-weighted Automata
gan: Stefan Kiefer, et al.
Cyhoeddwyd: (2013-03-01)

On stabilization in Herman's algorithm
gan: Kiefer, S, et al.
Cyhoeddwyd: (2011)

Game characterization of probabilistic bisimilarity, and applications to pushdown automata
gan: Forejt, V, et al.
Cyhoeddwyd: (2018)

Open apex solutions: One-step apexification, salvaging necrosed teeth with open apex
gan: Sunandan Mittal Kumar, et al.
Cyhoeddwyd: (2019-01-01)

On ranking function synthesis and termination for polynomial programs
gan: Neumann, E, et al.
Cyhoeddwyd: (2020)

PENERIMA PROGRAM APEX SCHOLAR MENJADI KAYU UKUR KEBERHASILAN PROGRAM APEX
gan: MPRC, Pusat Media & Perhubungan Awam
Cyhoeddwyd: (2016)

On strongest algebraic program invariants
gan: Hrushovski, E, et al.
Cyhoeddwyd: (2023)

Polynomial invariants for affine programs
gan: Hrushovski, E, et al.
Cyhoeddwyd: (2018)

Game Characterization of Probabilistic Bisimilarity, and Applications to Pushdown Automata
gan: Vojtěch Forejt, et al.
Cyhoeddwyd: (2018-11-01)

Proving the Herman-Protocol Conjecture
gan: Bruna, M, et al.
Cyhoeddwyd: (2016)

Guaranteed bounds on posterior distributions of discrete probabilistic programs with loops
gan: Zaiser, F, et al.
Cyhoeddwyd: (2025)

Parameter synthesis for parametric probabilistic dynamical systems and prefix-independent specifications
gan: Baier, C, et al.
Cyhoeddwyd: (2022)

Refined Probabilistic Abstraction
gan: Wachter, B
Cyhoeddwyd: (2010)

Language Equivalence for Probabilistic Automata
gan: Wachter, J
Cyhoeddwyd: (2011)

Open apex and its management: Review article
gan: Ikroop Gill, et al.
Cyhoeddwyd: (2024-01-01)

Measuring the probabilistic powerdomain
gan: Martin, K, et al.
Cyhoeddwyd: (2002)

Measuring the probabilistic powerdomain
gan: Martin, K, et al.
Cyhoeddwyd: (2002)

Best Probabilistic Transformers
gan: Wachter, B, et al.
Cyhoeddwyd: (2010)

Decision Problems for Linear Recurrence Sequences.
gan: Ouaknine, J, et al.
Cyhoeddwyd: (2012)

On metric temporal logic and faulty turing machines
gan: Ouaknine, J, et al.
Cyhoeddwyd: (2006)

Some Recent Results in Metric Temporal Logic
gan: Ouaknine, J, et al.
Cyhoeddwyd: (2008)

Towards a Theory of Time-Bounded Verification.
gan: Ouaknine, J, et al.
Cyhoeddwyd: (2010)

Safety metric temporal logic is fully decidable
gan: Ouaknine, J, et al.
Cyhoeddwyd: (2006)

ON THE DECIDABILITY AND COMPLEXITY OF METRIC TEMPORAL LOGIC OVER FINITE WORDS
gan: Ouaknine, J, et al.
Cyhoeddwyd: (2007)

Probabilistic CEGAR
gan: Hermanns, H, et al.
Cyhoeddwyd: (2008)

Probabilistic automata of bounded ambiguity
gan: Fijalkow, N, et al.
Cyhoeddwyd: (2017)

Apex - Criteria For Apex Varsity Selection.
gan: The Star, Online
Cyhoeddwyd: (2008)

Apex - USM Gets Apex Status.
gan: The Star, Online
Cyhoeddwyd: (2008)

Apex - Cadangan Tubuh Universiti Apex.
gan: Utusan, Malaysia
Cyhoeddwyd: (2008)

Apexification of a dens evaginated premolar with open apex
gan: Hamid Jafarzadeh, et al.
Cyhoeddwyd: (2015-02-01)

Convex language semantics for nondeterministic probabilistic automata
gan: Van Heerdt, G, et al.
Cyhoeddwyd: (2018)

On the Complexity of Computing Probabilistic Bisimilarity
gan: Chen, D, et al.
Cyhoeddwyd: (2012)

Exact Bayesian inference on discrete models via probability generating functions: a probabilistic programming approach
gan: Zaiser, F, et al.
Cyhoeddwyd: (2024)

Undecidability of universality for timed automata with minimal resources
gan: Adams, S, et al.
Cyhoeddwyd: (2007)