{"id":"W2810178509","doi":"10.1609/icaps.v28i1.13908","title":"Finite LTL Synthesis as Planning","year":2018,"lang":"en","type":"article","venue":"Proceedings of the International Conference on Automated Planning and Scheduling","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":58,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Computer science; Linear temporal logic; Leverage (statistics); Automaton; Program synthesis; Finite-state machine; Theoretical computer science; Bottleneck; Transformation (genetics); Exploit; Algorithm; Artificial intelligence","routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002495078,0.001057896,0.0005316161,0.0007879096,0.0006861475,0.002568349,0.001573678,0.001114188,0.005798193],"category_scores_gemma":[0.008872671,0.0005287741,0.001416946,0.0009959798,0.002966783,0.002318453,0.001862954,0.002312405,0.001446187],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002356835,"about_ca_system_score_gemma":0.003153654,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003399967,"about_ca_topic_score_gemma":0.004646565,"domain_scores_codex":[0.9972497,0.0009769473,0.0002185951,0.0003908275,0.0009791102,0.0001848653],"domain_scores_gemma":[0.9946349,0.003643903,0.0002979759,0.0008217429,0.0004999962,0.0001014887],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00006967931,0.00007630766,0.0003645518,0.0005999936,0.00004654791,0.0003506005,0.000412045,0.2342037,0.006205636,0.67386,0.004427321,0.07938354],"study_design_scores_gemma":[0.00005494873,0.00005984754,0.00008295104,0.0002191593,0.00005003039,0.0001122123,0.00009560599,0.3830687,0.01068605,0.5647489,0.04079071,0.00003094509],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.002350124,0.0004462104,0.9841988,0.0004583433,0.0001000783,0.0001513036,0.0001902633,0.001166429,0.01093844],"genre_scores_gemma":[0.1630784,0.001369291,0.8249691,0.0006067409,0.0001205165,0.0008537422,0.001026202,0.0008548939,0.007121223],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005798193,"threshold_uncertainty_score":0.0193969,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06458275588763768,"score_gpt":0.3362396133394855,"score_spread":0.2716568574518479,"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."}}