{"id":"W2890771647","doi":"10.1109/icra.2018.8460769","title":"Sampling-Based Motion Planning with μ-Calculus Specifications Without Steering","year":2018,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Liveness; Motion planning; Computer science; State space; Bellman equation; Kripke structure; Function (biology); Linear temporal logic; Reachability; Mathematical optimization; Temporal logic; State (computer science); Control theory (sociology); Model checking; Algorithm; Mathematics; Theoretical computer science; Control (management); Artificial intelligence","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0003927051,0.0001102882,0.00009385496,0.0001199847,0.0002144679,0.0001534591,0.0005099882,0.0000430392,0.00003023557],"category_scores_gemma":[0.00005304255,0.00009042399,0.00002139825,0.0004657456,0.00009202357,0.0005026861,0.00005337892,0.00009191971,0.0001186788],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000587474,"about_ca_system_score_gemma":0.00004544428,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001119973,"about_ca_topic_score_gemma":0.000004416484,"domain_scores_codex":[0.9989745,0.00004912102,0.0001825515,0.0003380499,0.0002397537,0.0002160427],"domain_scores_gemma":[0.9989384,0.00004251282,0.00009391762,0.0006846258,0.00016815,0.00007239062],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00007422568,0.0001959664,0.01723662,0.00004194132,0.00003643892,0.000003729959,0.002209192,0.01791134,0.01225999,0.8456195,0.0002824777,0.1041286],"study_design_scores_gemma":[0.0003030329,0.0001971454,0.03467785,0.00004411933,0.000005940487,0.00001084464,0.00005855682,0.9221725,0.03809847,0.0004827997,0.00370967,0.0002390869],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01109062,0.000009110917,0.9760431,0.0001839155,0.0002257479,0.000152841,4.493199e-7,0.0004267952,0.01186739],"genre_scores_gemma":[0.4506484,1.733021e-7,0.5490865,0.00008684905,0.00007164601,0.00001240466,0.000001515795,0.000006421077,0.00008610002],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9042612,"threshold_uncertainty_score":0.3687383,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1335681153359646,"score_gpt":0.3410346155343664,"score_spread":0.2074665001984018,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}