{"id":"W2373763064","doi":"","title":"Mapping from Real-time Temporal Logic Language XYZ/RE to Timed Automata","year":2008,"lang":"en","type":"article","venue":"Microcomputer applications","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Computer science; Automaton; Timed automaton; Temporal logic; Model checking; Process (computing); Real-time operating system; Programming language; Linear temporal logic; Theoretical computer science; Real-time computing; Embedded system","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":true,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.000237107,0.0002242669,0.000243995,0.0002107364,0.0003286005,0.0001204586,0.001793972,0.0001042183,0.00005345294],"category_scores_gemma":[0.000003445037,0.000233277,0.0000834602,0.0009202816,0.00005912287,0.0003537247,0.0005941204,0.0001510285,0.002860744],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001037344,"about_ca_system_score_gemma":0.0000692627,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001943676,"about_ca_topic_score_gemma":0.000003772978,"domain_scores_codex":[0.9981622,0.00009986258,0.0004119087,0.000736014,0.0002330118,0.0003570565],"domain_scores_gemma":[0.9981232,0.00009934694,0.0001482094,0.001350256,0.00009276369,0.0001862817],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0000122821,0.0005667496,0.000726817,0.00004093024,0.00009206438,0.00004408027,0.02002568,0.0003833201,0.3134494,0.01648982,0.04385164,0.6043172],"study_design_scores_gemma":[0.001237433,0.0001433442,0.04494879,0.00008290732,0.00002070704,0.0001920911,0.0001976822,0.2005615,0.04257162,0.005783722,0.7025144,0.001745833],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0202435,0.00004088294,0.9736705,0.0008862347,0.00004369777,0.0008811244,0.00003131561,0.001011429,0.003191303],"genre_scores_gemma":[0.008064099,0.00001651183,0.9896253,0.0009423398,0.0002328309,0.0004225028,0.0001124725,0.00002276578,0.0005611685],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.6586627,"threshold_uncertainty_score":0.9979156,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02849471736864989,"score_gpt":0.2847905162966914,"score_spread":0.2562957989280416,"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."}}