{"id":"W2091661303","doi":"10.1016/j.cosrev.2013.05.001","title":"A survey of timed automata for the development of real-time systems","year":2013,"lang":"en","type":"article","venue":"Computer Science Review","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":47,"is_retracted":false,"has_abstract":false,"ca_institutions":"Queen's University","funders":"","keywords":"Computer science; Automaton; Formalism (music); Semantics (computer science); Timed automaton; Theoretical computer science; Model checking; Programming language","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.008874647,0.0001132872,0.0003678467,0.00008388342,0.0001469593,0.00009803927,0.003247065,0.00002299925,0.000005031932],"category_scores_gemma":[0.0003452131,0.000070732,0.00005304485,0.001397646,0.0002541869,0.0006246711,0.0005288717,0.00004066219,0.00005304684],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004520346,"about_ca_system_score_gemma":0.000496055,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00006611537,"about_ca_topic_score_gemma":7.895446e-7,"domain_scores_codex":[0.9979289,0.0002198967,0.0007481293,0.0003442445,0.0005075284,0.0002512563],"domain_scores_gemma":[0.9968308,0.0005061989,0.0004956921,0.00122958,0.0008670595,0.00007066094],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[6.788795e-7,0.000042811,0.00005150804,0.001688124,0.00001287702,4.565784e-8,0.000286122,0.00005785584,0.00146659,0.006407644,0.001308959,0.9886768],"study_design_scores_gemma":[0.00007465317,0.00005281343,0.047093,0.00130284,0.000006423645,0.000004192912,0.000001122261,0.9489501,0.001086281,0.00005167558,0.00126001,0.0001168533],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0007798508,0.004830825,0.992274,0.0001069592,0.0004490081,0.001399143,0.000001836601,0.00004842204,0.0001099556],"genre_scores_gemma":[0.008454024,0.001270897,0.9900163,0.00005534151,0.00001450957,0.0001567155,0.000001683306,0.000004860651,0.00002565112],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9885599,"threshold_uncertainty_score":0.6033909,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.09551778634109966,"score_gpt":0.3497994392456042,"score_spread":0.2542816529045046,"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."}}