{"id":"W1991609533","doi":"10.1016/j.entcs.2005.03.007","title":"A New Method for Transforming Timed Automata","year":2005,"lang":"en","type":"article","venue":"Electronic Notes in Theoretical Computer Science","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":15,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université de Sherbrooke","funders":"","keywords":"Automaton; Computer science; Timed automaton; Transformation (genetics); Theoretical computer science; Conformance testing; Finite-state machine; State (computer science); Model checking; Algorithm; Programming language; Operating system","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.001692179,0.001180046,0.0008343057,0.001753076,0.0009302726,0.001701689,0.001589544,0.001099086,0.008646065],"category_scores_gemma":[0.005278462,0.000868736,0.00258554,0.001086675,0.001630303,0.002606424,0.002016163,0.003438064,0.003142074],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0006995132,"about_ca_system_score_gemma":0.00130186,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00103495,"about_ca_topic_score_gemma":0.0009263115,"domain_scores_codex":[0.9970107,0.0004318406,0.0002823684,0.0008729429,0.001264659,0.0001373678],"domain_scores_gemma":[0.9973985,0.0009331128,0.0001541244,0.000814116,0.0006147492,0.00008545612],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0002518601,0.000194351,0.0006985655,0.0006017384,0.0001716297,0.0007125334,0.0009575456,0.01510671,0.06687482,0.3377012,0.0151411,0.561588],"study_design_scores_gemma":[0.0002507062,0.0004104603,0.0004861349,0.0001886224,0.0002776448,0.003108501,0.0002278501,0.1713815,0.1081215,0.2654375,0.4498984,0.0002113204],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0005927847,0.00007770761,0.9958331,0.00006407275,0.0002374148,0.00007773926,0.0000646734,0.001327721,0.001724691],"genre_scores_gemma":[0.02392216,0.0002951442,0.9650584,0.0002135773,0.0001733322,0.0005369804,0.000327572,0.00103633,0.008436519],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.008646065,"threshold_uncertainty_score":0.02892399,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01192194929496741,"score_gpt":0.3276170705568103,"score_spread":0.3156951212618428,"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."}}