{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00353013,0.0006160479,0.0005742846,0.0006240889,0.0005618176,0.001948053,0.001476212,0.0007153425,0.001192887],"category_scores_gemma":[0.01306186,0.0006009967,0.001100244,0.0005005639,0.002111463,0.001950105,0.00112627,0.000937065,0.0003258559],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001071465,"about_ca_system_score_gemma":0.001826836,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003887729,"about_ca_topic_score_gemma":0.003780478,"domain_scores_codex":[0.9953187,0.001881066,0.0005525501,0.0006219152,0.001352528,0.0002731711],"domain_scores_gemma":[0.9918927,0.005943508,0.0004363153,0.000959827,0.000690716,0.00007687379],"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.0004221081,0.000173139,0.002460197,0.0005268351,0.000182933,0.00104866,0.001356256,0.2783768,0.06599916,0.5342992,0.001240262,0.1139145],"study_design_scores_gemma":[0.0002168961,0.0001511381,0.0003735146,0.00007777766,0.0001139279,0.0002440282,0.0001222034,0.7435284,0.07878876,0.1664978,0.009827846,0.00005775685],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.05262824,0.0001850379,0.940183,0.0001142257,0.00003703848,0.0001465178,0.0001138989,0.00238732,0.004204756],"genre_scores_gemma":[0.5441967,0.0002882377,0.4519587,0.000108707,0.00002306278,0.0003096565,0.000332785,0.0003246313,0.002457466],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.003887729,"threshold_uncertainty_score":0.01866931,"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."}}