{"id":"W2054320689","doi":"10.1007/s10472-006-9035-0","title":"A formal mathematical framework for modeling probabilistic hybrid systems","year":2007,"lang":"en","type":"article","venue":"Annals of Mathematics and Artificial Intelligence","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of British Columbia","funders":"","keywords":"Computer science; Probabilistic logic; Hybrid system; Dynamical systems theory; Theoretical computer science; Asynchronous communication; Semantics (computer science); Complex system; Artificial intelligence; Programming language; 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.003434697,0.0001493202,0.0002936641,0.0001066231,0.0001300317,0.0001344844,0.0004971287,0.00007752283,0.000003001604],"category_scores_gemma":[0.001507793,0.0001302299,0.00008311342,0.0001875207,0.00009895971,0.000359654,0.0001260217,0.0001126111,0.000009160288],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000007709733,"about_ca_system_score_gemma":0.00002586309,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000003928321,"about_ca_topic_score_gemma":6.234242e-7,"domain_scores_codex":[0.9981433,0.00002054093,0.0009136186,0.0002546265,0.0002780265,0.0003899558],"domain_scores_gemma":[0.9980628,0.0007791045,0.000267298,0.0004497909,0.0003343077,0.0001067333],"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.000009413171,0.0001435902,4.489607e-7,0.0004529672,0.000009898568,8.350609e-7,0.0009312278,0.002261847,0.0001580694,0.9595482,0.000003763971,0.03647978],"study_design_scores_gemma":[0.000005006789,0.00006703678,2.891621e-7,0.0001183739,0.00000392871,0.000008885079,0.0002833689,0.5027091,0.01475223,0.4819669,0.000009460084,0.00007534421],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.02537562,0.0001366826,0.9733416,0.0001439168,0.0001812835,0.0005140986,0.000004974824,0.00005433063,0.0002474721],"genre_scores_gemma":[0.4181679,0.00001806995,0.5817074,0.00002827635,0.00004404283,0.00002148019,5.208424e-7,0.000007806652,0.000004537465],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.5004473,"threshold_uncertainty_score":0.5310622,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.2391051844002866,"score_gpt":0.4056549268499324,"score_spread":0.1665497424496457,"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."}}