Imagen de Portada

MULTIGAIN 2.0: MDP controller synthesis for multiple mean-payoff, LTL and steady-state constraints

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Bals, Severin, Evangelidis, Alexandros, Křetínský, Jan, Waibel, Jakob
Formato:	Preprint
Publicado:	2023
Materias:	Artificial Intelligence Logic in Computer Science
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

SemML 2.0: Synthesizing Controllers for LTL
por: Křetínský, Jan, et al.
Publicado: (2026)

Accelerating Policy Synthesis in Large-Scale MDPs via Hierarchical Adaptive Refinement
por: Evangelidis, Alexandros, et al.
Publicado: (2025)

Stopping Criteria for Value Iteration on Concurrent Stochastic Reachability and Safety Games
por: Grobelna, Marta, et al.
Publicado: (2025)

Syntax Is Easy, Semantics Is Hard: Evaluating LLMs for LTL Translation
por: Danso, Priscilla Kyei, et al.
Publicado: (2026)

On-the-fly Synthesis for LTL over Finite Traces: An Efficient Approach that Counts
por: Xiao, Shengping, et al.
Publicado: (2024)

Learning Explainable and Better Performing Representations of POMDP Strategies
por: Bork, Alexander, et al.
Publicado: (2024)

NeuroNL2LTL: A Neurosymbolic Framework for Natural Language Translation of Linear Temporal Logic
por: Quansah, Paapa Kwesi, et al.
Publicado: (2026)

Shield Synthesis for LTL Modulo Theories
por: Rodriguez, Andoni, et al.
Publicado: (2024)

Resilient Strategies for Stochastic Systems: How Much Does It Take to Break a Winning Strategy?
por: Grover, Kush, et al.
Publicado: (2026)

Integrating LTL Constraints into PPO for Safe Reinforcement Learning
por: Zhang, Maifang, et al.
Publicado: (2026)

LTLGuard: Formalizing LTL Specifications with Compact Language Models and Lightweight Symbolic Reasoning
por: Andresel, Medina, et al.
Publicado: (2026)

Defeaters and Eliminative Argumentation in Assurance 2.0
por: Bloomfield, Robin, et al.
Publicado: (2024)

On Deciding the Data Complexity of Answering Linear Monadic Datalog Queries with LTL Operators(Extended Version)
por: Artale, Alessandro, et al.
Publicado: (2025)

LTL$_f$ Learning Meets Boolean Set Cover
por: Bathie, Gabriel, et al.
Publicado: (2025)

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

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

What is Formal Verification without Specifications? A Survey on mining LTL Specifications
por: Neider, Daniel, et al.
Publicado: (2025)

Ensuring Logic in the Fog: Sound POMDP Synthesis with LTL Objectives
por: Zhou, Can, et al.
Publicado: (2026)

Marabou 2.0: A Versatile Formal Analyzer of Neural Networks
por: Wu, Haoze, et al.
Publicado: (2024)

Automated Verification of Equivalence Properties in Advanced Logic Programs -- Bachelor Thesis
por: Heuer, Jan
Publicado: (2023)

Logic of Fuzzy Paths
por: Grover, Kush, et al.
Publicado: (2026)

A Remark on the Expressivity of Asynchronous TeamLTL and HyperLTL
por: Kontinen, Juha, et al.
Publicado: (2024)

Quantifier Instantiations: To Mimic or To Revolt?
por: Jakubův, Jan, et al.
Publicado: (2025)

ocLTL: LTL Realizability and Synthesis Modulo ω-Categorical Structures
por: Asor, Ohad
Publicado: (2026)

First Order Logic with Fuzzy Semantics for Describing and Recognizing Nerves in Medical Images
por: Bloch, Isabelle, et al.
Publicado: (2025)

Abductive Reasoning in a Paraconsistent Framework
por: Bienvenu, Meghyn, et al.
Publicado: (2024)

Policy-Adaptable Methods For Resolving Normative Conflicts Through Argumentation and Graph Colouring
por: Joyce, Johnny
Publicado: (2025)

Dynamic Logic of Trust-Based Beliefs
por: Jiang, Junli, et al.
Publicado: (2025)

The logic of KM belief update is contained in the logic of AGM belief revision
por: Bonanno, Giacomo
Publicado: (2026)

Similarity-based analogical proportions
por: Antić, Christian
Publicado: (2024)

An Automated Theorem Generator with Theoretical Foundation Based on Rectangular Standard Contradiction
por: Xu, Yang, et al.
Publicado: (2025)

$O_2$ is a multiple context-free grammar: an implementation-, formalisation-friendly proof
por: Caminati, Marco B.
Publicado: (2024)

Faster Certified Symmetry Breaking Using Orders With Auxiliary Variables
por: Anders, Markus, et al.
Publicado: (2025)

Characterizing LTL Formulas by Examples
por: Cate, Balder ten, et al.
Publicado: (2026)

Computational Complexity of Standpoint LTL
por: Demri, Stéphane, et al.
Publicado: (2024)

Queries With Exact Truth Values in Paraconsistent Description Logics
por: Bienvenu, Meghyn, et al.
Publicado: (2024)

Constructive Interpolation and Concept-Based Beth Definability for Description Logics via Sequents
por: Lyon, Tim S., et al.
Publicado: (2024)

Towards an ontology of state actors in cyberspace
por: De Colle, Giacomo
Publicado: (2024)

Runtime Verification for LTL in Stochastic Systems
por: Esparza, Javier, et al.
Publicado: (2025)

A Horn extension of DL-Lite with NL data complexity
por: Arpasi, Janos, et al.
Publicado: (2026)