Buchumschlag

Synthesis from LTL with Reward Optimization in Sampled Oblivious Environments

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Raskin, Jean-François, Tsai, Yun Chen
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Formal Languages and Automata Theory
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Greybox Learning of Languages Recognizable by Event-Recording Automata
von: Majumdar, Anirban, et al.
Veröffentlicht: (2024)

Learning Event-recording Automata Passively
von: Majumdar, Anirban, et al.
Veröffentlicht: (2025)

From LTL to COCOA without Detours
von: Ehlers, Rüdiger, et al.
Veröffentlicht: (2024)

Chance and Mass Interpretations of Probabilities in Markov Decision Processes (Extended Version)
von: Tsai, Yun Chen, et al.
Veröffentlicht: (2025)

An Automata-Based Approach to Games with $ω$-Automatic Preferences
von: Bruyère, Véronique, et al.
Veröffentlicht: (2026)

LTL-D*: Incrementally Optimal Replanning for Feasible and Infeasible Tasks in Linear Temporal Logic Specifications
von: Ren, Jiming, et al.
Veröffentlicht: (2024)

RESTL: Reinforcement Learning Guided by Multi-Aspect Rewards for Signal Temporal Logic Transformation
von: Fang, Yue, et al.
Veröffentlicht: (2025)

Synthesizing POMDP Policies: Sampling Meets Model-checking via Learning
von: Chakraborty, Debraj, et al.
Veröffentlicht: (2026)

Positive and monotone fragments of FO and LTL
von: Kuperberg, Denis, et al.
Veröffentlicht: (2024)

The Complexity of Second-order HyperLTL
von: Frenkel, Hadar, et al.
Veröffentlicht: (2023)

The Complexity of Generalized HyperLTL with Stuttering and Contexts
von: Regaud, Gaëtan, et al.
Veröffentlicht: (2025)

Oblivious Monitoring for Discrete-Time STL via Fully Homomorphic Encryption
von: Waga, Masaki, et al.
Veröffentlicht: (2024)

Simplifying LTL Model Checking Given Prior Knowledge
von: Duret-Lutz, Alexandre, et al.
Veröffentlicht: (2025)

A Direct Translation from LTL with Past to Deterministic Rabin Automata
von: Azzopardi, Shaun, et al.
Veröffentlicht: (2024)

$ω$-regular Expression Synthesis from Transition-Based Büchi Automata
von: Pert, Charles, et al.
Veröffentlicht: (2024)

Engineering an LTLf Synthesis Tool
von: Duret-Lutz, Alexandre, et al.
Veröffentlicht: (2025)

Constructing Concise Characteristic Samples for Acceptors of Omega Regular Languages
von: Angluin, Dana, et al.
Veröffentlicht: (2022)

Fully Generalized Reactivity(1) Synthesis
von: Ehlers, Rüdiger, et al.
Veröffentlicht: (2024)

Controller Synthesis for Parametric Timed Games
von: Dahlsen-Jensen, Mikael Bisgaard, et al.
Veröffentlicht: (2025)

From Trees to Tree-Like: Distribution and Synthesis for Asynchronous Automata
von: Lehaut, Mathieu, et al.
Veröffentlicht: (2026)

Tracy, Traces, and Transducers: Computable Counterexamples and Explanations for HyperLTL Model-Checking
von: Winter, Sarah, et al.
Veröffentlicht: (2024)

Vulnerabilities Analysis and Secure Controlling for Unmanned Aerial System Based on Reactive Synthesis
von: Yang, Dong, et al.
Veröffentlicht: (2024)

Synthesis of State-Attack Strategies for Anonymity and Opacity Violation in Discrete Event Systems
von: Li, Xiaoyan, et al.
Veröffentlicht: (2025)

Automated Formal Verification of Area-Optimized Safety Registers in Automotive SoCs
von: Zhang, Shuhang, et al.
Veröffentlicht: (2025)

Full LTL Synthesis over Infinite-state Arenas
von: Azzopardi, Shaun, et al.
Veröffentlicht: (2023)

One Adaptive Trailing Head Can Outperform Many Oblivious Trailing Heads
von: Cruz, Julianne, et al.
Veröffentlicht: (2026)

The Quadratic State Cost of Classical Simulation of One-Way Quantum Finite Automata
von: Chen, Zeyu, et al.
Veröffentlicht: (2026)

Two-way affine automata can verify every language
von: Chen, Zeyu, et al.
Veröffentlicht: (2025)

Exact Separation of Words via Trace Geometry
von: Chen, Zeyu, et al.
Veröffentlicht: (2026)

Learning Reward Machines from Partially Observed Policies
von: Shehab, Mohamad Louai, et al.
Veröffentlicht: (2025)

Compositional Abstraction for Timed Systems with Broadcast Synchronization
von: Chen, Hanyue, et al.
Veröffentlicht: (2025)

Behaviorally Correct Learning from Informants
von: Mohrin, Niklas
Veröffentlicht: (2025)

Synthesising Asynchronous Automata from Fair Specifications
von: Bérard, Béatrice, et al.
Veröffentlicht: (2025)

Passive Learning of Lattice Automata from Recurrent Neural Networks
von: Slimi, Jaouhar, et al.
Veröffentlicht: (2025)

Constructing Deterministic Parity Automata from Positive and Negative Examples
von: Bohn, León, et al.
Veröffentlicht: (2023)

Synthesizing Petri Nets from Labelled Petri Nets using Token Trail Regions
von: Bergenthum, Robin, et al.
Veröffentlicht: (2026)

SemML 2.0: Synthesizing Controllers for LTL
von: Křetínský, Jan, et al.
Veröffentlicht: (2026)

LTL$_f$ Learning Meets Boolean Set Cover
von: Bathie, Gabriel, et al.
Veröffentlicht: (2025)

Inquisitive Team Semantics of LTL
von: Bozzelli, Laura, et al.
Veröffentlicht: (2025)

Rethinking meaning and ontologies from the perspective of ontological units
von: Fabry, Paul, et al.
Veröffentlicht: (2025)