{"id":"W2006984763","doi":"10.1007/s11241-010-9103-8","title":"SetExp: a method of transformation of timed automata into finite state automata","year":2010,"lang":"en","type":"article","venue":"Real-Time Systems","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":8,"is_retracted":false,"has_abstract":false,"ca_institutions":"Université Laval; Université de Sherbrooke","funders":"","keywords":"Timed automaton; Automaton; Quantum finite automata; ω-automaton; Computer science; Continuous spatial automaton; Finite-state machine; Discrete event dynamic system; Event (particle physics); State space; Automata theory; Supervisory control; Theoretical computer science; Transformation (genetics); Nondeterministic finite automaton; Algorithm; Discrete system; Mathematics; Control (management); Artificial intelligence","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.003204229,0.0002608715,0.0007384896,0.0004255259,0.00007580363,0.0001008973,0.001451046,0.0001826558,0.00001492461],"category_scores_gemma":[0.0001267561,0.000237953,0.0001461285,0.0008107972,0.00005747248,0.0008387143,0.0001820046,0.0002003186,0.0001130045],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005984334,"about_ca_system_score_gemma":0.0002205411,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00137574,"about_ca_topic_score_gemma":0.00001906383,"domain_scores_codex":[0.9964944,0.0004456872,0.00139702,0.0004511452,0.0008385986,0.0003731387],"domain_scores_gemma":[0.9965465,0.0005494076,0.000798344,0.001628209,0.0003314387,0.0001460862],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"bench_or_experimental","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00005164884,0.0002344621,0.00005214479,0.003069279,0.0002472738,0.00002524662,0.02169003,0.03215855,0.8555318,0.01335235,0.0009607334,0.07262646],"study_design_scores_gemma":[0.0006239365,0.00009461475,0.00006894122,0.0003044255,0.00001633307,0.0001040103,0.00005271417,0.9820766,0.01506491,0.0003954162,0.0009695104,0.000228545],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.04971669,0.00005274101,0.9395994,0.00007131053,0.0009460328,0.0007428666,0.00007205984,0.0005280114,0.008270886],"genre_scores_gemma":[0.8276838,0.00001952042,0.1718123,0.000005660807,0.00005526025,0.00004219186,0.00002040806,0.00002914353,0.0003316869],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9499181,"threshold_uncertainty_score":0.970344,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01358559386440762,"score_gpt":0.2798338881276556,"score_spread":0.266248294263248,"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."}}