Copertina

Subtyping in DHOL -- Extended preprint

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Rothgang, Colin, Rabe, Florian
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Logic in Computer Science Artificial Intelligence Formal Languages and Automata Theory
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

LTLf+ and PPLTL+: Extending LTLf and PPLTL to Infinite Traces
di: Aminof, Benjamin, et al.
Pubblicazione: (2024)

Systemic Constraints of Undecidability
di: Bulin, Seth
Pubblicazione: (2025)

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

Learning Probabilistic Temporal Logic Specifications for Stochastic Systems
di: Roy, Rajarshi, et al.
Pubblicazione: (2025)

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

Emerson-Lei and Manna-Pnueli Games for LTLf+ and PPLTL+ Synthesis
di: Hausmann, Daniel, et al.
Pubblicazione: (2025)

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

About Time: Model-free Reinforcement Learning with Timed Reward Machines
di: Roy, Rajarshi, et al.
Pubblicazione: (2025)

Temporal Ensemble Logic
di: Zhang, Guo-Qiang
Pubblicazione: (2024)

Synthesizing POMDP Policies: Sampling Meets Model-checking via Learning
di: Chakraborty, Debraj, et al.
Pubblicazione: (2026)

Non-Deterministic Planning for Hyperproperty Verification
di: Beutner, Raven, et al.
Pubblicazione: (2024)

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

A Formal Framework for the Explanation of Finite Automata Decisions
di: Granada, Jaime Cuartas, et al.
Pubblicazione: (2026)

A process algebraic framework for multi-agent dynamic epistemic systems
di: Aldini, Alessandro
Pubblicazione: (2024)

The Transformation Logics
di: Ronca, Alessandro
Pubblicazione: (2023)

Verification of Neural Networks (Lecture Notes)
di: Bollig, Benedikt
Pubblicazione: (2026)

Symbolic Synthesis for LTLf+ Obligations
di: De Giacomo, Giuseppe, et al.
Pubblicazione: (2026)

Extending QuAK with Nested Quantitative Automata
di: Henzinger, Thomas A., et al.
Pubblicazione: (2026)

Automata-less Monitoring via Trace-Checking (Extended Version)
di: Brunello, Andrea, et al.
Pubblicazione: (2025)

Extended CTG Generalization and Dynamic Adjustment of Generalization Strategies in IC3
di: Su, Yuheng, et al.
Pubblicazione: (2025)

Characterizations of Monadic Second Order Definable Context-Free Sets of Graphs
di: Iosif, Radu, et al.
Pubblicazione: (2023)

Effective MSO-Definability for Tree-width Bounded Models of an Inductive Separation Logic of Relations
di: Bueri, Lucas, et al.
Pubblicazione: (2024)

Tree-Verifiable Graph Grammars
di: Chimes, Mark, et al.
Pubblicazione: (2024)

The Treewidth Boundedness Problem for an Inductive Separation Logic of Relations
di: Bozga, Marius, et al.
Pubblicazione: (2023)

Towards Autoformalization of LLM-generated Outputs for Requirement Verification
di: Gupte, Mihir, et al.
Pubblicazione: (2025)

Simplicity Lies in the Eye of the Beholder: A Strategic Perspective on Controllers in Reactive Synthesis
di: Randour, Mickael
Pubblicazione: (2025)

SpotIt: Evaluating Text-to-SQL Evaluation with Formal Verification
di: Klopfenstein, Rocky, et al.
Pubblicazione: (2025)

Preference-Based Planning in Stochastic Environments: From Partially-Ordered Temporal Goals to Most Preferred Policies
di: Rahmani, Hazhar, et al.
Pubblicazione: (2024)

Enforcing Temporal Constraints for LLM Agents
di: Kamath, Adharsh, et al.
Pubblicazione: (2025)

Mining Beyond the Bools: Learning Data Transformations and Temporal Specifications
di: Kouteili, Sam Nicholas, et al.
Pubblicazione: (2026)

The Alternation Hierarchy of First-Order Logic on Words is Decidable
di: Barloy, Corentin, et al.
Pubblicazione: (2025)

An algebraic theory of ω-regular languages, via μν-expressions
di: Das, Anupam, et al.
Pubblicazione: (2025)

Cyclic system for an algebraic theory of alternating parity automata
di: Das, Anupam, et al.
Pubblicazione: (2025)

A cyclic proof system for Guarded Kleene Algebra with Tests (full version)
di: Rooduijn, Jan, et al.
Pubblicazione: (2024)

A proof theory of right-linear (omega-)grammars via cyclic proofs
di: Das, Anupam, et al.
Pubblicazione: (2024)

Positive First-order Logic on Words and Graphs
di: Kuperberg, Denis
Pubblicazione: (2022)

Function spaces for orbit-finite sets
di: Bojańczyk, Mikołaj, et al.
Pubblicazione: (2024)

An efficient quantifier elimination procedure for Presburger arithmetic
di: Haase, Christoph, et al.
Pubblicazione: (2024)

FORM: Learning Expressive and Transferable First-Order Logic Reward Machines
di: Ardon, Leo, et al.
Pubblicazione: (2024)

The Queue Automaton Revisited
di: Baeten, Jos C. M., et al.
Pubblicazione: (2025)