{"id":"W2168685706","doi":"10.1109/cic.2006.60","title":"Removing Timed Delays in Stochastic Automata","year":2006,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Ottawa","funders":"","keywords":"Automaton; Computer science; Property (philosophy); Markov chain; Markov process; Timed automaton; State (computer science); Stochastic process; Continuous spatial automaton; Theoretical computer science; Automata theory; Quantum finite automata; Algorithm; Mathematics; Machine learning","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.0012252,0.000888181,0.0008394347,0.0007818029,0.0008282113,0.001098536,0.001390679,0.0006412462,0.001334199],"category_scores_gemma":[0.005162911,0.0005557431,0.001646789,0.0005731464,0.001059171,0.001653977,0.001688473,0.001695055,0.0005922111],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0005123228,"about_ca_system_score_gemma":0.001316882,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001169741,"about_ca_topic_score_gemma":0.001138848,"domain_scores_codex":[0.9979967,0.0003097281,0.0002215124,0.0003594472,0.0009190613,0.0001934226],"domain_scores_gemma":[0.9960961,0.001648301,0.0004023469,0.001162498,0.0005432602,0.0001476293],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0005162128,0.0002162863,0.001981968,0.0005981318,0.0002427407,0.00118993,0.0009365916,0.2270813,0.17598,0.3824094,0.001642065,0.2072053],"study_design_scores_gemma":[0.0001123901,0.0003199755,0.000408406,0.00008425387,0.0002969577,0.0005246456,0.0001022605,0.5083784,0.1999975,0.2536538,0.03600217,0.0001192787],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0216859,0.0001069136,0.9754822,0.00005933651,0.0001149042,0.00005989286,0.00007237189,0.001047091,0.001371505],"genre_scores_gemma":[0.3813893,0.000426384,0.6129394,0.0001660085,0.0001464808,0.0003627575,0.0003200763,0.0004449996,0.003804618],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.001390679,"threshold_uncertainty_score":0.006479561,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01096568528861276,"score_gpt":0.2489217188346586,"score_spread":0.2379560335460459,"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."}}