{"id":"W2963063504","doi":"10.48550/arxiv.0907.3123","title":"Verification of Timed Automata Using Rewrite Rules and Strategies","year":2009,"lang":"en","type":"article","venue":"ArXiv.org","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":8,"is_retracted":false,"has_abstract":true,"ca_institutions":"Prevention of Organ Failure","funders":"","keywords":"Rewriting; Computer science; Automaton; Model checking; Programming language; Theoretical computer science; Graph; Constraint (computer-aided design); 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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0003474305,0.00008222119,0.0001117634,0.00007395966,0.00006986066,0.00006097177,0.0003462646,0.0000516556,0.00000263278],"category_scores_gemma":[0.00006489882,0.0000806841,0.00002014261,0.0002098509,0.00006183725,0.0009593377,0.00004945719,0.00006419692,0.00001277496],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001926406,"about_ca_system_score_gemma":0.00004315714,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001934399,"about_ca_topic_score_gemma":4.426402e-7,"domain_scores_codex":[0.999229,0.00007023273,0.0002179279,0.0002224168,0.0001328225,0.0001276557],"domain_scores_gemma":[0.9992134,0.00002847693,0.0001441691,0.0005105664,0.00006751723,0.00003584792],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"bench_or_experimental","study_design_gemma":"observational","study_design_scores_codex":[0.00002373125,0.0001334389,0.01804426,0.0000671254,0.00001860486,0.000004044702,0.001670566,0.0002086848,0.4906923,0.3838484,0.0000591276,0.1052297],"study_design_scores_gemma":[0.0001739376,0.00009084326,0.8209367,0.00003593009,0.000007768044,0.00001253557,0.00006400335,0.1317961,0.04206065,0.004435135,0.0002505603,0.0001357829],"study_design_candidate":"observational","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7710739,0.00008323608,0.2278257,0.0001046416,0.00007540934,0.0000709614,9.701326e-7,0.00009233073,0.0006727951],"genre_scores_gemma":[0.6684115,0.00001806924,0.3315006,0.00003659337,0.00001648796,0.000001195074,0.000001540124,0.000002695947,0.0000113441],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.8028925,"threshold_uncertainty_score":0.3290202,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.07371287393755604,"score_gpt":0.3296582481382548,"score_spread":0.2559453742006988,"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."}}