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...

Mô tả đầy đủ

Chi tiết về thư mục
Những tác giả chính:	Kiefer, S, Murawski, A, Ouaknine, J, Wachter, B, Worrell, J
Định dạng:	Journal article
Ngôn ngữ:	English
Được phát hành:	2012

Những quyển sách tương tự

Language equivalence for probabilistic automata
Bằng: Kiefer, S, et al.
Được phát hành: (2011)

Algorithmic probabilistic game semantics
Bằng: Kiefer, S, et al.
Được phát hành: (2013)

On the Complexity of the Equivalence Problem for Probabilistic Automata
Bằng: Kiefer, S, et al.
Được phát hành: (2012)

On automated verification of probabilistic programs
Bằng: Legay, A, et al.
Được phát hành: (2008)

Three tokens in Herman's algorithm
Bằng: Kiefer, S, et al.
Được phát hành: (2012)

ON THE COMPLEXITY OF EQUIVALENCE AND MINIMISATION FOR Q-WEIGHTED AUTOMATA
Bằng: Kiefer, S, et al.
Được phát hành: (2013)

On the Complexity of Equivalence and Minimisation for Q-weighted Automata
Bằng: Stefan Kiefer, et al.
Được phát hành: (2013-03-01)

On stabilization in Herman's algorithm
Bằng: Kiefer, S, et al.
Được phát hành: (2011)

Game characterization of probabilistic bisimilarity, and applications to pushdown automata
Bằng: Forejt, V, et al.
Được phát hành: (2018)

Open apex solutions: One-step apexification, salvaging necrosed teeth with open apex
Bằng: Sunandan Mittal Kumar, et al.
Được phát hành: (2019-01-01)

On ranking function synthesis and termination for polynomial programs
Bằng: Neumann, E, et al.
Được phát hành: (2020)

PENERIMA PROGRAM APEX SCHOLAR MENJADI KAYU UKUR KEBERHASILAN PROGRAM APEX
Bằng: MPRC, Pusat Media & Perhubungan Awam
Được phát hành: (2016)

On strongest algebraic program invariants
Bằng: Hrushovski, E, et al.
Được phát hành: (2023)

Polynomial invariants for affine programs
Bằng: Hrushovski, E, et al.
Được phát hành: (2018)

Game Characterization of Probabilistic Bisimilarity, and Applications to Pushdown Automata
Bằng: Vojtěch Forejt, et al.
Được phát hành: (2018-11-01)

Proving the Herman-Protocol Conjecture
Bằng: Bruna, M, et al.
Được phát hành: (2016)

Guaranteed bounds on posterior distributions of discrete probabilistic programs with loops
Bằng: Zaiser, F, et al.
Được phát hành: (2025)

Parameter synthesis for parametric probabilistic dynamical systems and prefix-independent specifications
Bằng: Baier, C, et al.
Được phát hành: (2022)

Refined Probabilistic Abstraction
Bằng: Wachter, B
Được phát hành: (2010)

Language Equivalence for Probabilistic Automata
Bằng: Wachter, J
Được phát hành: (2011)

Open apex and its management: Review article
Bằng: Ikroop Gill, et al.
Được phát hành: (2024-01-01)

Measuring the probabilistic powerdomain
Bằng: Martin, K, et al.
Được phát hành: (2002)

Measuring the probabilistic powerdomain
Bằng: Martin, K, et al.
Được phát hành: (2002)

Best Probabilistic Transformers
Bằng: Wachter, B, et al.
Được phát hành: (2010)

Decision Problems for Linear Recurrence Sequences.
Bằng: Ouaknine, J, et al.
Được phát hành: (2012)

On metric temporal logic and faulty turing machines
Bằng: Ouaknine, J, et al.
Được phát hành: (2006)

Some Recent Results in Metric Temporal Logic
Bằng: Ouaknine, J, et al.
Được phát hành: (2008)

Towards a Theory of Time-Bounded Verification.
Bằng: Ouaknine, J, et al.
Được phát hành: (2010)

Safety metric temporal logic is fully decidable
Bằng: Ouaknine, J, et al.
Được phát hành: (2006)

ON THE DECIDABILITY AND COMPLEXITY OF METRIC TEMPORAL LOGIC OVER FINITE WORDS
Bằng: Ouaknine, J, et al.
Được phát hành: (2007)

Probabilistic CEGAR
Bằng: Hermanns, H, et al.
Được phát hành: (2008)

Probabilistic automata of bounded ambiguity
Bằng: Fijalkow, N, et al.
Được phát hành: (2017)

Apex - Criteria For Apex Varsity Selection.
Bằng: The Star, Online
Được phát hành: (2008)

Apex - USM Gets Apex Status.
Bằng: The Star, Online
Được phát hành: (2008)

Apex - Cadangan Tubuh Universiti Apex.
Bằng: Utusan, Malaysia
Được phát hành: (2008)

Apexification of a dens evaginated premolar with open apex
Bằng: Hamid Jafarzadeh, et al.
Được phát hành: (2015-02-01)

Convex language semantics for nondeterministic probabilistic automata
Bằng: Van Heerdt, G, et al.
Được phát hành: (2018)

On the Complexity of Computing Probabilistic Bisimilarity
Bằng: Chen, D, et al.
Được phát hành: (2012)

Exact Bayesian inference on discrete models via probability generating functions: a probabilistic programming approach
Bằng: Zaiser, F, et al.
Được phát hành: (2024)

Undecidability of universality for timed automata with minimal resources
Bằng: Adams, S, et al.
Được phát hành: (2007)