conftrace_

interval algebra

4 papers

Explore in graph

Co-occurring keywords · papers mentioning both

constraint satisfaction problem (2) temporal reasoning (2) primitive positive interpretation (1) rectangle algebra (1) safety-critical system (1) exponential algorithm (1) interval temporal algebra (1) violation rate (1) allen algebra (1) complexity classification (1)

Papers

Formal verification of neural networks for safety-critical tasks in deep reinforcement learning UAI 2021 Improved Algorithms for Allen's Interval Algebra: a Dynamic Programming Approach IJCAI 2021 Classification Transfer for Qualitative Reasoning Problems IJCAI 2018 Event Detection in Complex Scenes Using Interval Temporal Constraints ICCV 2013