Buchumschlag

Stochastic Processes with Expected Stopping Time

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Chatterjee, Krishnendu, Doyen, Laurent
Format:	Preprint
Veröffentlicht:	2021
Schlagworte:	Logic in Computer Science
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

The Value Problem for Multiple-Environment MDPs with Parity Objective
von: Chatterjee, Krishnendu, et al.
Veröffentlicht: (2025)

Algorithm and Strategy Construction for Sure-Almost-Sure Stochastic Parity Games
von: Doyen, Laurent, et al.
Veröffentlicht: (2026)

Risk-aware Markov Decision Processes Using Cumulative Prospect Theory
von: Brihaye, Thomas, et al.
Veröffentlicht: (2025)

Regular Games with Imperfect Information Are Not That Regular
von: Doyen, Laurent, et al.
Veröffentlicht: (2024)

Synthesising Full-Information Protocols
von: Berwanger, Dietmar, et al.
Veröffentlicht: (2023)

Fixed Point Certificates for Reachability and Expected Rewards in MDPs
von: Chatterjee, Krishnendu, et al.
Veröffentlicht: (2025)

Multiplicative Rewards in Markovian Models
von: Baier, Christel, et al.
Veröffentlicht: (2025)

Certified Policy Verification and Synthesis for MDPs under Distributional Reach-avoidance Properties
von: Akshay, S., et al.
Veröffentlicht: (2024)

On the Metric Temporal Logic for Continuous Stochastic Processes
von: Ikeda, Mitsumasa, et al.
Veröffentlicht: (2023)

Bridging Causal Reversibility and Time Reversibility: A Stochastic Process Algebraic Approach
von: Bernardo, Marco, et al.
Veröffentlicht: (2022)

Accurately Computing Expected Visiting Times and Stationary Distributions in Markov Chains
von: Mertens, Hannah, et al.
Veröffentlicht: (2024)

Sound and Complete Witnesses for Template-based Verification of LTL Properties on Polynomial Programs
von: Chatterjee, Krishnendu, et al.
Veröffentlicht: (2024)

Sound Statistical Model Checking for Probabilities and Expected Rewards (extended version)
von: Budde, Carlos E., et al.
Veröffentlicht: (2024)

Learning Algorithms for Verification of Markov Decision Processes
von: Brázdil, Tomáš, et al.
Veröffentlicht: (2024)

SuperDP: Differential Privacy Refutation via Supermartingales
von: Chatterjee, Krishnendu, et al.
Veröffentlicht: (2026)

Stopping Criteria for Value Iteration on Concurrent Stochastic Reachability and Safety Games
von: Grobelna, Marta, et al.
Veröffentlicht: (2025)

Quantified Linear and Polynomial Arithmetic Satisfiability via Template-based Skolemization
von: Chatterjee, Krishnendu, et al.
Veröffentlicht: (2024)

Bridging Computational Notions of Depth
von: Bienvenu, Laurent, et al.
Veröffentlicht: (2024)

Denotational Foundations for Expected Cost Analysis
von: de Amorim, Pedro H. Azevedo
Veröffentlicht: (2024)

Dependency Pairs for Expected Innermost Runtime Complexity and Strong Almost-Sure Termination of Probabilistic Term Rewriting
von: Kassing, Jan-Christoph, et al.
Veröffentlicht: (2025)

PolyQEnt: A Polynomial Quantified Entailment Solver
von: Chatterjee, Krishnendu, et al.
Veröffentlicht: (2024)

Checking Continuous Stochastic Logic against Quantum Continuous-Time Markov Chains
von: Xu, Ming, et al.
Veröffentlicht: (2022)

Deciding Equations in the Time Warp Algebra
von: van Gool, Sam, et al.
Veröffentlicht: (2023)

Tachis: Higher-Order Separation Logic with Credits for Expected Costs
von: Haselwarter, Philipp G., et al.
Veröffentlicht: (2024)

Crash-Stop Failures in Asynchronous Multiparty Session Types
von: Barwell, Adam D., et al.
Veröffentlicht: (2023)

Revisiting the Fast Fourier Transform in Rocq
von: Théry, Laurent
Veröffentlicht: (2022)

J-P: MDP. FP. PP.: Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs (Technical Report)
von: Batz, Kevin, et al.
Veröffentlicht: (2024)

Runtime Verification for LTL in Stochastic Systems
von: Esparza, Javier, et al.
Veröffentlicht: (2025)

Verification and External Parameter Inference for Stochastic World Models
von: Calinescu, Radu, et al.
Veröffentlicht: (2025)

A Hyperlogic for Strategies in Stochastic Games (Extended Version)
von: Gerlach, Lina, et al.
Veröffentlicht: (2025)

Stochastic Process Turing Machines
von: Wolpert, David, et al.
Veröffentlicht: (2024)

Type Isomorphisms for Multiplicative-Additive Linear Logic
von: Di Guardia, Rémi, et al.
Veröffentlicht: (2024)

An ASP-based approach to Solving General Stochastic Two-Player Games
von: He, Yifan, et al.
Veröffentlicht: (2026)

Widest Path Games and Maximality Inheritance in Bounded Value Iteration for Stochastic Games
von: Phalakarn, Kittiphon, et al.
Veröffentlicht: (2025)

Snakes can be fooled into thinking they live in a tree
von: Bartholdi, Laurent, et al.
Veröffentlicht: (2024)

Polytopal Stochastic Games
von: Castro, Pablo F., et al.
Veröffentlicht: (2025)

Reactive Synthesis for Expected Impacts
von: Chini, Emanuele, et al.
Veröffentlicht: (2024)

Zeta Functions and the (Linear) Logic of Markov Processes
von: Seiller, Thomas
Veröffentlicht: (2020)

Rule Formats for Nominal Process Calculi
von: Aceto, Luca, et al.
Veröffentlicht: (2024)

Around Classical and Intuitionistic Linear Processes
von: Jaramillo, Juan C., et al.
Veröffentlicht: (2024)