{"id":"W1614449700","doi":"10.48550/arxiv.cs/0109024","title":"Verification of Timed Automata Using Rewrite Rules and Strategies","year":2001,"lang":"en","type":"preprint","venue":"ArXiv.org","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"Prevention of Organ Failure","funders":"","keywords":"Automaton; Computer science; Programming language; Theoretical computer science","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.003517714,0.0006349878,0.000570503,0.0006476164,0.0005515305,0.002074193,0.001495226,0.000765203,0.001154192],"category_scores_gemma":[0.01399549,0.0006350817,0.001068344,0.0005562885,0.002162409,0.002106706,0.001142999,0.0009543875,0.0003347286],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001069643,"about_ca_system_score_gemma":0.001730114,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003680386,"about_ca_topic_score_gemma":0.003660596,"domain_scores_codex":[0.9954308,0.00179235,0.0005481418,0.0006173055,0.001339926,0.0002714737],"domain_scores_gemma":[0.9916207,0.006180001,0.0004641964,0.0009655171,0.0006894608,0.00008020866],"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.0004047585,0.0001635058,0.002444103,0.0005103637,0.0001799186,0.000965904,0.001299081,0.2642146,0.06272932,0.5490979,0.001343485,0.1166471],"study_design_scores_gemma":[0.0002153881,0.0001369832,0.0003803626,0.00007604481,0.0001067636,0.0002347451,0.000117582,0.7194152,0.07857539,0.1904573,0.01022896,0.00005531091],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.05303508,0.0002158465,0.9397714,0.000120949,0.00003801932,0.0001494391,0.0001165002,0.002393919,0.004158811],"genre_scores_gemma":[0.5455965,0.0003517545,0.4503212,0.0001110903,0.00002623131,0.0003313083,0.0003739318,0.0003384926,0.00254944],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.003680386,"threshold_uncertainty_score":0.01860368,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1204305679781962,"score_gpt":0.3487616490608015,"score_spread":0.2283310810826053,"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."}}