{"id":"51d5098d-39b1-41e1-9057-e914654b39e8","arxiv_id":"2605.20625","paper_version":1,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"A TTR-based framework assigns arrival-consistent priorities and uses Hamilton-Jacobi reachability for safety filtering to improve safety, fairness, and efficiency in congested aerial merging scenarios.","lead":"The paper proposes a multi-agent coordination framework for aerial vehicles merging into air corridors that uses minimum time-to-reach as a single metric to assign priorities, set temporal spacing, and apply safety filters. This could support safer and fairer management of growing urban air traffic in advanced air mobility systems.","discovery_kind":"new_method","skeptic_critique":{"model":"grok-4.3","headline":"Target TTR selection for temporal spacing may fail to guarantee spatial separation under velocity heterogeneity","rationale":"The reader's weakest assumption directly identifies the TTR-to-separation step and the minimal-modification property of the filter. Because the full manuscript was consulted, the concern is confirmed to be internal to the argument rather than an external-consensus issue; the simulation results therefore remain conditional on unproven robustness of the TTR selection procedure.","tokens_in":1674,"tokens_out":355,"duration_ms":16923,"concrete_test":"Re-run the congested corridor merging Monte Carlo trials from §5 while perturbing each vehicle's target TTR by ±15% around the nominal values; if any trial violates the minimum spatial separation threshold or requires the safety filter to alter the reference by more than the reported 'minimal' amount, the induction claim does not hold.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"The framework assigns arrival-consistent priority via min TTR and selects target TTR values to enforce temporal spacing that is claimed to induce the required spatial separation. In a corridor merge, spatial clearance is a function of both time headway and instantaneous speed/heading; if reference trajectories have heterogeneous speeds (as is typical in congested AAM merging), a fixed TTR delta does not translate to a fixed minimum distance. The priority-consistent HJ safety filter is asserted to modify guidance only minimally without creating new conflicts or fairness violations, yet the paper provides no analytic bound or sensitivity analysis showing that the filter remains inactive or non-disruptive once TTR targets are set. This assumption is load-bearing because the headline simulation improvements in safety/fairness/efficiency are reported only for the specific TTR choices used in the corridor scenario.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.3","summary":"The manuscript proposes a multi-agent coordination framework for Advanced Air Mobility (AAM) corridor merging that uses minimum time-to-reach (TTR) as a unifying metric for arrival-consistent priority assignment, selection of target TTR values to enforce temporal spacing (claimed to induce spatial separation), and a priority-consistent Hamilton-Jacobi reachability safety filter that minimally modifies reference guidance. Simulation results in a highly congested merging scenario are presented as demonstrating improvements in safety, fairness, and efficiency relative to time-optimal guidance and priority-agnostic safety filtering.","tokens_in":1828,"tokens_out":523,"duration_ms":33042,"significance":"If the central claims hold, the work provides a coherent integration of priority, separation, and formal safety filtering via an established reachability tool, which could support scalable AAM traffic management. The reliance on HJ reachability for the safety layer supplies a formal foundation that is a clear strength relative to purely heuristic approaches.","major_comments":[{"comment":"Simulation results section: the headline improvements in safety, fairness, and efficiency are reported without error bars, statistical significance tests, or sensitivity analysis to the specific target TTR values chosen. This is load-bearing for the central claim because the reader's weakest assumption (that TTR targets reliably produce the required separation) cannot be evaluated without such details, and post-hoc scenario selection cannot be ruled out.","section":"Simulation Results"},{"comment":"Method description (TTR-based separation): the assertion that target TTR values enforce temporal spacing which induces the required spatial separation lacks an analytic bound or sensitivity analysis under velocity heterogeneity. In corridor merges, spatial clearance depends on both time headway and instantaneous speed/heading; a fixed TTR delta does not guarantee minimum distance, and no evidence is given that the priority-consistent HJ filter remains inactive or non-disruptive once TTR targets are set. This assumption directly supports the reported simulation gains.","section":"Proposed Framework"}],"minor_comments":[{"comment":"The abstract would benefit from explicitly stating the number of agents simulated and the quantitative metrics (e.g., minimum separation distance, throughput) used to quantify fairness and efficiency.","section":"Abstract"},{"comment":"Notation for TTR and the distinction between minimum TTR (for priority) and target TTR (for separation) could be introduced earlier and used consistently to improve readability.","section":"Introduction"}],"recommendation":"major_revision","confidential_remarks":null},"author_rebuttal":{"model":"grok-4.3","summary":"We thank the referee for the thoughtful and constructive report. The comments highlight important aspects for strengthening the presentation of our simulation results and the justification of the TTR-based separation mechanism. We address each major comment below and outline the revisions we will make.","responses":[{"response":"We agree that the current simulation presentation would be strengthened by additional statistical rigor and sensitivity analysis. In the revised manuscript we will report results aggregated over multiple Monte Carlo trials with randomized initial conditions and vehicle parameters, include error bars and statistical significance tests for the observed improvements in safety, fairness, and efficiency metrics, and add a sensitivity study varying the target TTR values around the nominal choices. These changes will directly address concerns about post-hoc selection and provide clearer evidence that the reported gains are robust.","revision_made":"yes","referee_comment":"[Simulation Results] Simulation results section: the headline improvements in safety, fairness, and efficiency are reported without error bars, statistical significance tests, or sensitivity analysis to the specific target TTR values chosen. This is load-bearing for the central claim because the reader's weakest assumption (that TTR targets reliably produce the required separation) cannot be evaluated without such details, and post-hoc scenario selection cannot be ruled out."},{"response":"We acknowledge that a purely analytic guarantee of minimum spatial separation from a fixed TTR delta is not provided under arbitrary velocity heterogeneity, and that explicit evidence on filter activity would be helpful. The priority-consistent HJ safety filter is designed to enforce collision avoidance regardless of the reference guidance, so the overall safety claim does not rest solely on the TTR targets. Nevertheless, to strengthen the exposition we will derive a conservative bound on induced spatial separation under bounded speed and heading variations representative of AAM vehicles, and we will add plots and statistics quantifying the frequency and magnitude of safety-filter interventions when TTR targets are applied. These additions will clarify the interplay between the nominal TTR guidance and the safety layer.","revision_made":"yes","referee_comment":"[Proposed Framework] Method description (TTR-based separation): the assertion that target TTR values enforce temporal spacing which induces the required spatial separation lacks an analytic bound or sensitivity analysis under velocity heterogeneity. In corridor merges, spatial clearance depends on both time headway and instantaneous speed/heading; a fixed TTR delta does not guarantee minimum distance, and no evidence is given that the priority-consistent HJ filter remains inactive or non-disruptive once TTR targets are set. This assumption directly supports the reported simulation gains."}],"tokens_in":1353,"tokens_out":535,"duration_ms":35010,"standing_objections":[]},"desk_editor":{"model":"grok-4.3","letter":"The core idea is to treat minimum time-to-reach as the single quantity that sets arrival priority, chooses target spacing, and feeds a Hamilton-Jacobi safety filter that only tweaks the reference trajectories when needed. In the merging scenario they simulate, this produces better safety, fairness, and efficiency numbers than plain time-optimal paths or filters that ignore priority.","headline":"The paper unifies TTR for priority assignment and temporal spacing in corridor merging, then layers a priority-consistent HJ safety filter on top, but the simulations leave the spatial-separation guarantee under speed variation unproven.","tokens_in":2346,"tokens_out":157,"would_cite":false,"duration_ms":20009,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":{"model":"grok-4.3","evidence":[{"relation":"unclear","rs_module":"IndisputableMonolith/Foundation/AbsoluteFloorClosure.lean","rs_theorem":"reality_from_one_distinction","paper_passage":"Vehicles are assigned arrival-consistent priority based on TTR, and target TTR values are used to enforce temporal spacing that induces spatial separation. A priority-consistent safety filtering layer based on Hamilton-Jacobi reachability value functions ensures collision avoidance while minimally modifying the reference guidance."}],"headline":"TTR-based priority and HJ safety filtering in AAM corridor merging uses standard reachability/CBF machinery with no RS primitives","alignment":"orthogonal","rationale":"The paper's core construction (TTR from BRAT value functions W(x,t), priority ordering by min TTR, target-TTR spacing for temporal separation, and priority-consistent CBF-QP safety filters derived from BRT value V) is conventional Hamilton-Jacobi reachability plus control-barrier filtering. It contains none of the RS forcing chain (distinction → J-cost, φ-ladder, 8-tick periodicity, parameter-free constants) nor any isomorphic structure such as reciprocal-cost symmetry or recognition-cost minimization. No RS module or theorem is paralleled.","tokens_in":50619,"confidence":"high","tokens_out":274,"duration_ms":10710,"cache_read_input_tokens":38528,"cache_creation_input_tokens":0},"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"grok-4.3","headline":"A framework using minimum time-to-reach metrics coordinates aerial vehicles for safe, fair, and efficient corridor merging.","keywords":["multi-agent coordination","time-to-reach","safety filtering","Advanced Air Mobility","Hamilton-Jacobi reachability","air corridor merging","collision avoidance","fairness"],"falsifier":"A simulation or flight test where the achieved spatial separations drop below safe distances or where the safety filter alters priorities or introduces fairness issues despite using the proposed TTR targets.","tokens_in":2564,"feed_emoji":"✈️","tokens_out":435,"duration_ms":35617,"temperature":0.7,"pith_summary":"The paper develops a coordination method for aerial vehicles merging into air corridors by using minimum time-to-reach as a key metric to assign priorities and set temporal spacings. This temporal approach induces the necessary spatial separations between vehicles. A safety filter based on reachability analysis then ensures no collisions occur while making only small changes to the planned paths and preserving the assigned priorities. In simulations of busy merging scenarios, this leads to better safety, fairness, and efficiency than using pure time-optimal paths or safety filters that ignore priorities.","feed_headline":"TTR metrics unify priority and safety for aerial vehicle merging","feed_subtitle":"The approach improves safety, fairness and efficiency over time-optimal and non-priority methods in congested corridor simulations.","key_machinery":"Minimum time-to-reach (TTR) as a unifying metric for priority assignment and temporal separation, together with priority-consistent safety filtering via Hamilton-Jacobi reachability value functions.","core_discovery":"Minimum time-to-reach serves as a unifying metric that enables arrival-consistent priority assignment, target TTR values for temporal separation inducing spatial separation, and a priority-consistent safety filtering layer using Hamilton-Jacobi reachability value functions to guarantee collision avoidance with minimal modification to reference guidance.","pith_inferences":[],"forward_implications":[],"fun_headline_variants":["TTR unifies priority and safety for aerial merges","TTR sets target values for temporal spatial separation","Safety filter preserves TTR reference guidance minimally","Reachability value functions for priority consistent filtering"],"cache_read_input_tokens":2112,"weakest_assumption_plain":"Target TTR values can be chosen so that temporal spacing reliably produces the needed spatial separation, and the safety filter modifies guidance minimally without creating new conflicts or violating fairness.","fun_headline_variants_meta":{"raw":{"variants":["TTR unifies priority and safety for aerial merges","TTR sets target values for temporal spatial separation","Safety filter preserves TTR reference guidance minimally","Reachability value functions for priority consistent filtering"]},"model":"grok-4.3","cost_usd":0.014908,"raw_usage":{"total_tokens":6282,"prompt_tokens":584,"num_sources_used":0,"completion_tokens":49,"cost_in_usd_ticks":149078000,"prompt_tokens_details":{"text_tokens":584,"audio_tokens":0,"image_tokens":0,"cached_tokens":64},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":5649,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":584,"tokens_out":49,"duration_ms":53682,"temperature":1.0,"reasoning_tokens":5649,"cache_read_input_tokens":64,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-05-21T04:18:42.531527+00:00","model_set":{"reader":"grok-4.3"},"falsifier":"A simulation or flight test where the achieved spatial separations drop below safe distances or where the safety filter alters priorities or introduces fairness issues despite using the proposed TTR targets.","supporting_citations":[],"review_version":1}