conftrace_

spatial-temporal logic

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

rule discovery (1) traffic modeling (1) human trajectory analysis (1) behavioral pattern (1) intention modeling (1) traffic scenario (1) test case generation (1) traffic simulation (1) answer set programming (1) formal verification (1)

Papers

Traffic Scenario Logic: A Spatial-Temporal Logic for Modeling and Reasoning of Urban Traffic Scenarios AAAI 2025 Discovering Intrinsic Spatial-Temporal Logic Rules to Explain Human Actions NeurIPS 2023