{"id":"W1524755212","doi":"10.1007/978-3-642-12186-9_60","title":"Verification of Careflow Management Systems with Timed BDI CTL Logic","year":2010,"lang":"en","type":"book-chapter","venue":"Lecture notes in business information processing","topic":"Business Process Modeling and Analysis","field":"Business, Management and Accounting","cited_by":8,"is_retracted":false,"has_abstract":false,"ca_institutions":"St. Francis Xavier University","funders":"","keywords":"Computer science; CTL*; Temporal logic; Programming language; Computation tree logic; Software engineering; Medicine","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.002105969,0.0006661818,0.0005204932,0.0008281335,0.0008375763,0.002274979,0.001540683,0.001007868,0.004533626],"category_scores_gemma":[0.006249889,0.0007866136,0.001696341,0.0004016024,0.001933325,0.00186737,0.001613764,0.001538264,0.0004963223],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001915948,"about_ca_system_score_gemma":0.003011886,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.008924449,"about_ca_topic_score_gemma":0.006924797,"domain_scores_codex":[0.9977351,0.000492866,0.0001403707,0.0002974389,0.0009611663,0.000373068],"domain_scores_gemma":[0.9963659,0.002262603,0.0003327426,0.0004251219,0.000532454,0.00008121249],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000859238,0.0003578421,0.003325896,0.0005879276,0.0001488504,0.001087397,0.0006006067,0.4896942,0.0464714,0.3548886,0.004475318,0.09750275],"study_design_scores_gemma":[0.0001855653,0.00009829615,0.0003394283,0.00006597902,0.00005328173,0.0001354318,0.00006471045,0.881007,0.02876002,0.08585119,0.003406818,0.00003237626],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.05076028,0.0001189165,0.9378066,0.0003293754,0.00009938298,0.0001723019,0.0003150689,0.002981291,0.00741675],"genre_scores_gemma":[0.7952764,0.0001376559,0.1983204,0.0002282679,0.00003729639,0.0002452487,0.0007112889,0.000331138,0.004712323],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.008924449,"threshold_uncertainty_score":0.01774502,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01210784371031294,"score_gpt":0.2030160265491758,"score_spread":0.1909081828388628,"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."}}