Copertina

Spatio-temporal Value Semantics-based Abstraction for Dense Deep Reinforcement Learning

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Nie, Jihui, Du, Dehui, Zhao, Jiangnan
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Machine Learning Artificial Intelligence 68N30 D.2.4
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version)
di: Erhard, Julian, et al.
Pubblicazione: (2024)

Type Inference for Isabelle2Cpp
di: Jiang, Dongchen, et al.
Pubblicazione: (2024)

Conflict Essences for Transformation Rules with Nested Application Conditions -- Long Version
di: Lauer, Alexander, et al.
Pubblicazione: (2026)

Finding a Crab in the C: Assured Translation via Comparative Symbolic Execution
di: Helbling, Caleb, et al.
Pubblicazione: (2026)

cozy: Comparative Symbolic Execution for Binary Programs
di: Helbling, Caleb, et al.
Pubblicazione: (2025)

Three Decades of Formal Methods in Business Process Compliance: A Systematic Literature Review
di: López, Hugo A., et al.
Pubblicazione: (2024)

Execution Semantics of Behavior Trees in Robotic Applications
di: Ghiorzi, Enrico, et al.
Pubblicazione: (2024)

Optimal matching for sharing and linearity analysis
di: Amato, Gianluca, et al.
Pubblicazione: (2024)

AI for software engineering: from probable to provable
di: Meyer, Bertrand
Pubblicazione: (2025)

Imandra CodeLogician: Neuro-Symbolic Reasoning for Precise Analysis of Software Logic
di: Lin, Hongyu, et al.
Pubblicazione: (2026)

NOETHER: A Constructive Framework for Metamorphic Pattern Discovery from Operator Algebras
di: Li, Meng, et al.
Pubblicazione: (2026)

Assessing Reliability of Statistical Maximum Coverage Estimators in Fuzzing
di: Liyanage, Danushka, et al.
Pubblicazione: (2025)

Trustworthy Clinical Decision Support Using Meta-Predicates and Domain-Specific Languages
di: Bouzinier, Michael, et al.
Pubblicazione: (2026)

LLM-based Dynamic Differential Testing for Database Connectors with Reinforcement Learning-Guided Prompt Selection
di: Lyu, Ce, et al.
Pubblicazione: (2025)

Boolean Nearest Neighbor Language in the Knowledge Compilation Map
di: Čepek, Ondřej, et al.
Pubblicazione: (2024)

Dynamic Symbolic Execution for Semantic Difference Analysis of Component and Connector Architectures
di: Grahl, Johanna, et al.
Pubblicazione: (2025)

On The Expressive Power of Knowledge Graph Embedding Methods
di: Gao, Jiexing, et al.
Pubblicazione: (2024)

Attack-Centric by Design: A Program-Structure Taxonomy of Smart Contract Vulnerabilities
di: Hedayatnia, Parsa, et al.
Pubblicazione: (2025)

Tool-Assisted Conformance Checking to Reference Process Models
di: Rumpe, Bernhard, et al.
Pubblicazione: (2025)

LLMDFA: Analyzing Dataflow in Code with Large Language Models
di: Wang, Chengpeng, et al.
Pubblicazione: (2024)

Formal Analysis and Supply Chain Security for Agentic AI Skills
di: Bhardwaj, Varun Pratap
Pubblicazione: (2026)

Answer Set Networks: Casting Answer Set Programming into Deep Learning
di: Skryagin, Arseny, et al.
Pubblicazione: (2024)

Is logical analysis performed by transformers taking place in self-attention or in the fully connected part?
di: Shin, Evgeniy, et al.
Pubblicazione: (2025)

A Prompt Learning Framework for Source Code Summarization
di: Xu, Tingting, et al.
Pubblicazione: (2023)

From CRUD to Autonomous Agents: Formal Validation and Zero-Trust Security for Semantic Gateways in AI-Native Enterprise Systems
di: Peyrano, Ignacio
Pubblicazione: (2026)

RepoAudit: An Autonomous LLM-Agent for Repository-Level Code Auditing
di: Guo, Jinyao, et al.
Pubblicazione: (2025)

BRIDGE: Building Representations In Domain Guided Program Synthesis
di: George, Robert Joseph, et al.
Pubblicazione: (2025)

ASP-based Multi-shot Reasoning via DLV2 with Incremental Grounding
di: Calimeri, Francesco, et al.
Pubblicazione: (2024)

Contract-based Verification of Digital Twins
di: Naeem, Muhammad, et al.
Pubblicazione: (2025)

Formal Methods: From Academia to Industrial Practice. A Travel Guide
di: Huisman, Marieke, et al.
Pubblicazione: (2020)

Digital Twin Mobility Profiling: A Spatio-Temporal Graph Learning Approach
di: Chen, Xin, et al.
Pubblicazione: (2024)

Multiple Query Satisfiability of Constrained Horn Clauses
di: De Angelis, Emanuele, et al.
Pubblicazione: (2022)

OWLOOP: Interfaces for Mapping OWL Axioms into OOP Hierarchies
di: Buoncompagni, Luca, et al.
Pubblicazione: (2024)

Semantic Modeling for World-Centered Architectures
di: Mantsivoda, Andrei, et al.
Pubblicazione: (2026)

UR4NNV: Neural Network Verification, Under-approximation Reachability Works!
di: Liang, Zhen, et al.
Pubblicazione: (2024)

Decentralized Task Scheduling in Distributed Systems: A Deep Reinforcement Learning Approach
di: John, Daniel Benniah
Pubblicazione: (2026)

Validation of an analyzability model for quantum software: a family of experiments
di: Díaz-Muñoz, Ana, et al.
Pubblicazione: (2026)

ABox Abduction for Inconsistent Knowledge Bases under Repair Semantics
di: Haak, Anselm, et al.
Pubblicazione: (2026)

Array-Carrying Symbolic Execution for Function Contract Generation
di: Lu, Weijie, et al.
Pubblicazione: (2026)

Ontology Learning with LLMs: A Benchmark Study on Axiom Identification
di: Bakker, Roos M., et al.
Pubblicazione: (2025)