:: Library Catalog

Copertina

Salvato in:

Dettagli Bibliografici
Autori principali:	Szekeres, Dániel, Marussy, Kristóf, Majzik, István
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Logic in Computer Science
Accesso online:	https://arxiv.org/abs/2406.00824
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Risk-aware Markov Decision Processes Using Cumulative Prospect Theory
di: Brihaye, Thomas, et al.
Pubblicazione: (2025)

Learning Algorithms for Verification of Markov Decision Processes
di: Brázdil, Tomáš, et al.
Pubblicazione: (2024)

Formal Quality Measures for Predictors in Markov Decision Processes
di: Baier, Christel, et al.
Pubblicazione: (2024)

On the Complexity of Robust Markov Decision Processes and Bisimulation Metrics
di: Suilen, Marnix, et al.
Pubblicazione: (2026)

Certificates and Witnesses for Multi-Objective Queries in Markov Decision Processes
di: Baier, Christel, et al.
Pubblicazione: (2024)

Lazy Reimplication in Chronological Backtracking
di: Coutelier, Robin, et al.
Pubblicazione: (2025)

On-The-Fly Symbolic Algorithm for Timed ATL with Abstractions
di: Jensen, Nicolaj Ø., et al.
Pubblicazione: (2025)

Evidential Decision Theory via Partial Markov Categories
di: Di Lavore, Elena, et al.
Pubblicazione: (2023)

Certificates and Witnesses for Multi-objective ω-regular Queries in Markov Decision Processes
di: Baier, Christel, et al.
Pubblicazione: (2025)

A Translation of Probabilistic Event Calculus into Markov Decision Processes
di: Xu, Lyris, et al.
Pubblicazione: (2025)

Best-Effort Policies for Robust Markov Decision Processes
di: Abate, Alessandro, et al.
Pubblicazione: (2025)

Learning Robust Policies for Uncertain Parametric Markov Decision Processes
di: Rickard, Luke, et al.
Pubblicazione: (2023)

A Lazy, Concurrent Convertibility Checker
di: Courant, Nathanaëlle, et al.
Pubblicazione: (2025)

Proof Theory and Decision Procedures for Deontic STIT Logics
di: Lyon, Tim S., et al.
Pubblicazione: (2024)

Algorithms for Markov Binomial Chains
di: Gonzalez, Alejandro Alarcón, et al.
Pubblicazione: (2024)

IntervalMDP.jl: Accelerated Value Iteration for Interval Markov Decision Processes
di: Mathiesen, Frederik Baymler, et al.
Pubblicazione: (2024)

Zeta Functions and the (Linear) Logic of Markov Processes
di: Seiller, Thomas
Pubblicazione: (2020)

Generalized Parameter Lifting: Finer Abstractions for Parametric Markov Chains
di: Heck, Linus, et al.
Pubblicazione: (2025)

The Modal Logic of Abstraction Refinement
di: Piribauer, Jakob, et al.
Pubblicazione: (2026)

(Towards a) Statistical Probabilistic Lazy Lambda Calculus
di: Jagadeesan, Radha
Pubblicazione: (2024)

A Syntactic Approach to Computing Complete and Sound Abstraction in the Situation Calculus
di: Fang, Liangda, et al.
Pubblicazione: (2024)

The Category of Iterative Sets in Homotopy Type Theory and Univalent Foundations
di: Gratzer, Daniel, et al.
Pubblicazione: (2024)

Beyond Decisiveness of Infinite Markov Chains
di: Barbot, Benoît, et al.
Pubblicazione: (2024)

A Foundational Theory of Quantitative Abstraction: Adjunctions, Duality, and Logic for Probabilistic Systems
di: Anwer, Nivar, et al.
Pubblicazione: (2025)

Initial Algebras Unchained -- A Novel Initial Algebra Construction Formalized in Agda
di: Wißmann, Thorsten, et al.
Pubblicazione: (2024)

Regular Abstractions for Array Systems
di: Hong, Chih-Duo, et al.
Pubblicazione: (2024)

Abstractions of Sequences, Functions and Operators
di: Rustenholz, Louis, et al.
Pubblicazione: (2025)

On the Completeness of Interpolation Algorithms
di: Hetzl, Stefan, et al.
Pubblicazione: (2024)

Counterexample-Guided Abstraction Refinement for Generalized Graph Transformation Systems (Full Version)
di: König, Barbara, et al.
Pubblicazione: (2025)

Algorithmic Randomness in Continuous-Time Markov Chains
di: Huang, Xiang, et al.
Pubblicazione: (2019)

Canonical Decision Diagrams Modulo Theories
di: Michelutti, Massimo, et al.
Pubblicazione: (2024)

A Naive Encoding of Russell's Paradox in Type Theory
di: Qu, Zhuoyuan
Pubblicazione: (2025)

A Sound and Complete Substitution Algorithm for Multimode Type Theory: Technical Report
di: Ceulemans, Joris, et al.
Pubblicazione: (2024)

1-2-3-Go! Policy Synthesis for Parameterized Markov Decision Processes via Decision-Tree Learning and Generalization
di: Azeem, Muqsit, et al.
Pubblicazione: (2024)

Catamorphic Abstractions for Constrained Horn Clause Satisfiability
di: De Angelis, Emanuele, et al.
Pubblicazione: (2024)

A Cut-free, Sound and Complete Russellian Theory of Definite Descriptions
di: Indrzejczak, Andrzej, et al.
Pubblicazione: (2024)

A topological reading of inductive and coinductive definitions in Dependent Type Theory
di: Sabelli, Pietro
Pubblicazione: (2024)

Primitive Recursive Dependent Type Theory
di: Buchholtz, Ulrik, et al.
Pubblicazione: (2024)

Fixed Point Theorems in Computability Theory
di: Terwijn, Sebastiaan A.
Pubblicazione: (2024)

Rings and Boolean Algebras as Algebraic Theories
di: De Faveri, Arturo
Pubblicazione: (2025)