{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0004524727,0.00005982642,0.00006805387,0.0001061855,0.00003191928,0.00005640876,0.0004949941,0.0000346872,0.00001396577],"category_scores_gemma":[0.00007662424,0.00005618041,0.00001512062,0.0003593256,0.00001601849,0.0004106596,0.0001156186,0.00006621794,0.0001142095],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005250879,"about_ca_system_score_gemma":0.0000251128,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001764224,"about_ca_topic_score_gemma":0.00002999867,"domain_scores_codex":[0.999265,0.00005021304,0.0001791316,0.0001957388,0.0001408786,0.0001690408],"domain_scores_gemma":[0.9994396,0.00005757618,0.0000404364,0.0004200255,0.00002065956,0.00002168104],"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.000003462931,0.00007275712,0.0002631683,0.000006766837,0.000001629647,0.000009155339,0.000158839,0.01180196,0.002625532,0.9165757,0.0009006228,0.06758036],"study_design_scores_gemma":[0.0001291605,0.00001238785,0.01341051,0.00000786091,5.620298e-7,0.00001071099,0.000004134285,0.9759457,0.001099651,0.009134727,0.0001624684,0.0000821248],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01092105,0.00001451902,0.9683574,0.0001488307,0.0001534122,0.00008215394,1.56854e-7,0.0002422619,0.02008025],"genre_scores_gemma":[0.3766592,1.799256e-7,0.6229145,0.00005284039,0.00001708947,0.000005104002,6.422977e-7,0.000002812561,0.0003476008],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9641438,"threshold_uncertainty_score":0.2290971,"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."}}