{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001142656,0.0005963228,0.0003549811,0.0006383741,0.0003251313,0.001329514,0.0008105441,0.0005026035,0.003822014],"category_scores_gemma":[0.002392416,0.0002571587,0.0008259687,0.0004047756,0.0009894812,0.001858805,0.0006501163,0.001412513,0.001037802],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0005875744,"about_ca_system_score_gemma":0.0007982141,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001260684,"about_ca_topic_score_gemma":0.0005658005,"domain_scores_codex":[0.9987831,0.0002970853,0.0001840559,0.0002803989,0.0003415493,0.0001137979],"domain_scores_gemma":[0.9989457,0.0004224423,0.0001716473,0.0002049332,0.0002243597,0.00003106256],"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.0003621545,0.00009257442,0.0009727645,0.0006794145,0.00006125324,0.001576552,0.001166552,0.02564822,0.07352515,0.7480125,0.005380979,0.1425219],"study_design_scores_gemma":[0.0002150996,0.0004967447,0.0009251878,0.0002865408,0.0001598045,0.002713735,0.0004031914,0.2326512,0.2247439,0.3174881,0.2197751,0.0001414372],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.007775562,0.0002432106,0.9828362,0.0002314866,0.0001380682,0.0001037952,0.0001653581,0.003238199,0.005268177],"genre_scores_gemma":[0.3287536,0.001236541,0.6577414,0.0005975182,0.0001429832,0.000521962,0.0006603364,0.0007524325,0.009593207],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.003822014,"threshold_uncertainty_score":0.01278585,"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."}}