Skill UI

This guide assists researchers in determining the optimal venue for their formal verification project. It helps decide whether the work belongs at TACAS (ETAPS) or a sibling conference (like CAV or VMCAI), depending on the emphasis (tool vs. theory), and guides the selection among the four distinct contribution categories (Research, Tool, Case-study, Demonstration).

This comprehensive guide is designed to help authors assess the methodological and theoretical suitability of their manuscript for Transportation Research Part B. It emphasizes that the core contribution must be a generalizable method, model, or theorem (e.g., in traffic flow, network optimization, or choice modeling), rather than a simple applied case study. Use this tool for venue selection, manuscript re-framing, and ensuring rigorous analytical justification.