{"id":"W2052611985","doi":"10.5555/777092.777107","title":"A hoare-style proof system for robot programs","year":2002,"lang":"en","type":"article","venue":"","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":8,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Hoare logic; Computer science; Correctness; Programming language; Soundness; Axiom; Mathematics","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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002231686,0.0005776781,0.000605183,0.001243163,0.001470945,0.002190051,0.001545552,0.001101144,0.007183966],"category_scores_gemma":[0.005574441,0.0008215988,0.001188451,0.0006463989,0.002465275,0.003244298,0.002935659,0.002856056,0.002159361],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009955344,"about_ca_system_score_gemma":0.00230109,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002041158,"about_ca_topic_score_gemma":0.002618135,"domain_scores_codex":[0.9981472,0.0004934883,0.0001576665,0.0003255745,0.0006957542,0.0001803567],"domain_scores_gemma":[0.9979462,0.00108195,0.0001247375,0.0003409885,0.0004137346,0.00009226693],"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.0001735058,0.0001548496,0.0004656923,0.0005661005,0.0001183442,0.0005461441,0.0009269985,0.01582192,0.02651146,0.7418907,0.01343559,0.1993887],"study_design_scores_gemma":[0.0002778305,0.0003440148,0.0006904315,0.0002200551,0.0002026174,0.001090651,0.0001703016,0.1717225,0.05155341,0.5854634,0.1880814,0.0001834211],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.002524333,0.0001303871,0.9917258,0.0002449689,0.00004386438,0.00013492,0.0000998432,0.003037466,0.002058394],"genre_scores_gemma":[0.1282934,0.0005383007,0.8629289,0.0005194101,0.0001243905,0.0003625769,0.000384292,0.000524423,0.006324293],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007183966,"threshold_uncertainty_score":0.02403277,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03715063583253798,"score_gpt":0.2309437755937529,"score_spread":0.1937931397612149,"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."}}