Compositional Shielding and Reinforcement Learning for Multi-Agent Systems (abstract)

Verifiable Boosted Tree Ensembles (abstract)

On the Verification of ML Systems and Models (abstract)

Space Explanations of Neural Network Classification (abstract)

Verifying Memoryless Sequential Decision-making of Large Language Models (abstract)

RNN Generalization to Omega-Regular Languages (abstract)

Passive Learning of Lattice Automata from Recurrent Neural Networks (abstract)

NAMOR: a New Agda Library for Modal Extended Sequents (abstract)

First-Order Linear Temporal Logic for Testing Distributed Protocols (abstract)

Automata Cascades for Model Checking (abstract)

Fully Learnable Neural Reward Machines (abstract)

Towards Runtime Detection of Novel Traffic Situations (abstract)

Let the Music Flow Where the Modal Branches Lead (abstract)

Run-time verification of robot-assisted surgery using visual input (abstract)

Leveraging LLMs for Formal Software Requirements: Challenges and Prospects (abstract)

A Proposal For Handling Query Ambiguity For Process Mining Tasks (abstract)

Scaling DRL Training via Symbolic Knowledge Transfer (abstract)

Learning to Coordinate without Communication under Incomplete Information (abstract)

Strategic Reasoning over Golog Programs in the Nondeterministic Situation Calculus - Extended Abstract (abstract)

Circuit Complexity Meets Discrete Ordinary Differential Equations: An Overview (abstract)

From Applicative Programming to Verification-based Knowledge: A Curry-Howard-Lambek Reading (abstract)

Attack logics, not outputs: Towards efficient robustification of deep neural networks by falsifying concept-based properties (abstract)

RLROM: Monitoring and Training Reinforcement Learning Agents using Signal Temporal Logic (abstract)

A Proof System with Causal Labels (Part I): checking Individual Fairness and Intersectionality (abstract)

A Proof System with Causal Labels (Part II): checking Counterfactual Fairness (abstract)

False Positives in Robustness Checking of Neural Networks (abstract)

Compliance Checking for Public Administration Processes using Retrieval-Augmented Generation in LLMs: Novel Directions and Challenges (abstract)

Reasoning on Privacy Policies (abstract)

Extracting Weighted Finite Automata from RNNs via iterative partitioning and spectral learning (abstract)