conftrace_

petri net

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

supervisor synthesis (1) coordination rule (1) topology-aware attention (1) robot system (1) medical reasoning (1) parallel decoding (1) linear temporal logic (1) directed acyclic graph (1)

Papers

MedVerse: Efficient and Reliable Medical Reasoning via DAG-Structured Parallel Execution ACL 2026 Designing Petri Net Supervisors from LTL Specifications RSS 2011