Image de couverture de livre

FORM: Learning Expressive and Transferable First-Order Logic Reward Machines

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Ardon, Leo, Furelos-Blanco, Daniel, Parac, Roko, Russo, Alessandra
Format:	Preprint
Publié:	2024
Sujets:	Artificial Intelligence Formal Languages and Automata Theory Logic in Computer Science Symbolic Computation
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Graded Symbolic Verification with a Fuzzy Dolev-Yao Attacker Model
par: Moran, Murat
Publié: (2026)

Specializing anti-unification for interaction models composition via gate connections
par: Nguetoum, Joel, et autres
Publié: (2025)

Scalable Computation of Inter-Core Bounds Through Exact Abstractions
par: Foughali, Mohammed Aristide, et autres
Publié: (2024)

The Alternation Hierarchy of First-Order Logic on Words is Decidable
par: Barloy, Corentin, et autres
Publié: (2025)

An Automaton-based Characterisation of First-Order Logic over Infinite Trees
par: Benerecetti, Massimo, et autres
Publié: (2025)

Automaton-based Characterisations of First Order Logic over Infinite Trees
par: Benerecetti, Massimo, et autres
Publié: (2026)

First-Order Intuitionistic Linear Logic and Hypergraph Languages
par: Pshenitsyn, Tikhon
Publié: (2025)

Positive First-order Logic on Words and Graphs
par: Kuperberg, Denis
Publié: (2022)

Complexity Classification of Complex-Weighted Counting Acyclic Constraint Satisfaction Problems
par: Yamakami, Tomoyuki
Publié: (2024)

Algebraic power series and their automatic complexity modulo prime powers
par: Rowland, Eric, et autres
Publié: (2024)

Scalable and Approximation-free Symbolic Control for Unknown Euler-Lagrange Systems
par: Das, Ratnangshu, et autres
Publié: (2025)

CFLOBDDs: Context-Free-Language Ordered Binary Decision Diagrams
par: Sistla, Meghana, et autres
Publié: (2022)

Computing Sound Lower and Upper Bounds on Hamilton-Jacobi Reach-Avoid Value Functions
par: Tabbara, Ihab, et autres
Publié: (2025)

Aperiodicity, Star-freeness, and First-order Logic Definability of Operator Precedence Languages
par: Mandrioli, Dino, et autres
Publié: (2020)

A Bit of Nondeterminism Makes Pushdown Automata Expressive and Succinct
par: Guha, Shibashis, et autres
Publié: (2021)

On the Expressiveness of State Space Models via Temporal Logics
par: Alsmann, Eric, et autres
Publié: (2026)

GOL in GOL in HOL: Verified Circuits in Conway's Game of Life
par: Myreen, Magnus O., et autres
Publié: (2025)

Logics for Context-free Hyperproperties
par: Winter, Sarah, et autres
Publié: (2026)

Positional Properties in Temporal Logic
par: Newman, Jessica, et autres
Publié: (2026)

Robust Probabilistic Temporal Logics
par: Zimmermann, Martin
Publié: (2023)

Proceedings of the Combined 32nd International Workshop on Expressiveness in Concurrency and 22nd Workshop on Structural Operational Semantics
par: Di Giusto, Cinzia, et autres
Publié: (2025)

Proceedings Combined 31st International Workshop on Expressiveness in Concurrency and 21st Workshop on Structural Operational Semantics
par: Caltais, Georgiana, et autres
Publié: (2024)

Logic and Languages of Higher-Dimensional Automata
par: Amrane, Amazigh, et autres
Publié: (2024)

Bisimulations and Logics for Higher-Dimensional Automata
par: Zouari, Safa, et autres
Publié: (2024)

Spectral and combinatorial methods for efficiently computing the rank of unambiguous finite automata
par: Kiefer, Stefan, et autres
Publié: (2025)

Tracer: A Tool for Race Detection in Software Defined Network Models
par: Caltais, Georgiana, et autres
Publié: (2024)

Weakly-unambiguous Parikh automata and their link to holonomic series
par: Bostan, Alin, et autres
Publié: (2025)

Positive Hennessy-Milner Logic for Branching Bisimulation
par: Geuvers, Herman, et autres
Publié: (2022)

The Decision Problem for Regular First-Order Theories
par: Mathur, Umang, et autres
Publié: (2024)

The Treewidth Boundedness Problem for an Inductive Separation Logic of Relations
par: Bozga, Marius, et autres
Publié: (2023)

SENTIL: A Runtime Verification Tool for Probabilistic Temporal Logic
par: Quansah, Paapa Kwesi, et autres
Publié: (2026)

A Complete Propositional Dynamic Logic for Regular Expressions with Lookahead
par: Nakamura, Yoshiki
Publié: (2026)

Online Monitoring of Metric Temporal Logic using Sequential Networks
par: Ulus, Dogan
Publié: (2019)

RNN Generalization to Omega-Regular Languages
par: Pert, Charles, et autres
Publié: (2025)

Set Automata and Limits of Decidability of Two-Variable Logic on Data Words
par: Guha, Shibashis, et autres
Publié: (2026)

Slightly Non-Linear Higher-Order Tree Transducers
par: Nguyên, Lê Thành Dũng, et autres
Publié: (2024)

Effective MSO-Definability for Tree-width Bounded Models of an Inductive Separation Logic of Relations
par: Bueri, Lucas, et autres
Publié: (2024)

About Time: Model-free Reinforcement Learning with Timed Reward Machines
par: Roy, Rajarshi, et autres
Publié: (2025)

On-the-fly Unfolding with Optimal Exploration for Linear Temporal Logic Model Checking of Concurrent Software and Systems
par: Li, Shuo, et autres
Publié: (2023)

Complexity of Model Checking Second-Order Hyperproperties on Finite Structures
par: Finkbeiner, Bernd, et autres
Publié: (2026)