conftrace_

temporal specification

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

event calculus (1) fluent representation (1) boolean combination (1) static determination (1) run-time reasoning (1) multi-agent collision avoidance (1) specification optimization (1) decentralized fashion (1) safe plans (1) graph neural network (1)

Papers

Temporal Specification Optimisation for the Event Calculus AAAI 2025 Scaling Safe Multi-Agent Control for Signal Temporal Logic Specifications CoRL 2024