{"id":"W2898837242","doi":"10.1007/978-3-030-03421-4_22","title":"Lightweight Statistical Model Checking in Nondeterministic Continuous Time","year":2018,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":25,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"Exploratory Research for Advanced Technology; Universität des Saarlandes","keywords":"Computer science; Nondeterministic algorithm; Rotation formalisms in three dimensions; Automaton; Probabilistic logic; Theoretical computer science; Markov chain; Artificial intelligence; 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.004755317,0.00110793,0.001762559,0.001240561,0.0007124175,0.002575445,0.002802235,0.001027309,0.003753709],"category_scores_gemma":[0.01983672,0.001084367,0.001789155,0.001685345,0.002777983,0.004493478,0.003453486,0.003497024,0.0008455769],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001635361,"about_ca_system_score_gemma":0.003155557,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001622618,"about_ca_topic_score_gemma":0.002368161,"domain_scores_codex":[0.9913368,0.002433687,0.0004273702,0.001132737,0.003999738,0.0006697501],"domain_scores_gemma":[0.9755932,0.01560246,0.001264852,0.005828739,0.001382255,0.000328503],"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.000752967,0.0001832928,0.002011254,0.000434275,0.0001895334,0.0002265986,0.0002483022,0.368888,0.0210348,0.4547391,0.002537182,0.1487548],"study_design_scores_gemma":[0.00003334335,0.00005676381,0.0002096782,0.00001915224,0.00003023326,0.00004173248,0.00001283681,0.8115067,0.009817348,0.1768329,0.001418426,0.00002079333],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01209128,0.0001178065,0.9836218,0.0001253096,0.00005018762,0.00003984254,0.00007543875,0.002685403,0.001192975],"genre_scores_gemma":[0.6767738,0.0002333672,0.3177406,0.0001409818,0.0001107303,0.000279634,0.0003649458,0.000909153,0.003446689],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.004755317,"threshold_uncertainty_score":0.02514881,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02380356812298678,"score_gpt":0.2831792184144336,"score_spread":0.2593756502914468,"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."}}