#Formal Methods
Latest news articles tagged with "Formal Methods". Follow the timeline of events, related topics, and entities.
Articles (4)
-
🇺🇸 A Framework for Formalizing LLM Agent Security
[USA]
arXiv:2603.19469v1 Announce Type: cross Abstract: Security in LLM agents is inherently contextual. For example, the same action taken by an agent may represent legitimate behavior or a security viola...
Related: #AI Security -
🇺🇸 Neuro-Symbolic Generation and Validation of Memory-Aware Formal Function Specifications
[USA]
arXiv:2603.13414v1 Announce Type: cross Abstract: Formal verification of memory-manipulating programs critically depends on precise function specifications that capture memory states written by exper...
Related: #AI Integration -
🇺🇸 Computing the Reachability Value of Posterior-Deterministic POMDPs
[USA]
arXiv:2602.07473v1 Announce Type: new Abstract: Partially observable Markov decision processes (POMDPs) are a fundamental model for sequential decision-making under uncertainty. However, many verific...
Related: #Artificial Intelligence, #Computational Theory -
🇺🇸 Semantically Labelled Automata for Multi-Task Reinforcement Learning with LTL Instructions
[USA]
arXiv:2602.06746v1 Announce Type: new Abstract: We study multi-task reinforcement learning (RL), a setting in which an agent learns a single, universal policy capable of generalising to arbitrary, po...
Related: #Artificial Intelligence, #Robotics
About the topic: Formal Methods
The topic "Formal Methods" aggregates 4+ news articles from various countries.