{"id":"W2057562551","doi":"10.1016/j.procs.2013.06.144","title":"Towards a Distributed Plan Execution Monitoring Framework","year":2013,"lang":"en","type":"article","venue":"Procedia Computer Science","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"Defence Research and Development Canada; Concordia University","funders":"","keywords":"Computer science; Scalability; Plan (archaeology); Distributed computing; Automaton; Context (archaeology); Runtime verification; Scale (ratio); Software engineering; Formal verification; Programming language; Theoretical computer science; Database","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.009015643,0.0007183853,0.0008196434,0.001578959,0.001447516,0.004269061,0.003291748,0.001648167,0.002489293],"category_scores_gemma":[0.008070881,0.0008150914,0.001936157,0.001020563,0.003173873,0.003904202,0.003840987,0.003965297,0.0006150784],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002490626,"about_ca_system_score_gemma":0.00673465,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.008180145,"about_ca_topic_score_gemma":0.007844695,"domain_scores_codex":[0.9959022,0.001052187,0.0003435893,0.0006811498,0.001667662,0.0003532172],"domain_scores_gemma":[0.9948573,0.001839482,0.0005942573,0.001174676,0.001091427,0.0004427881],"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.00009608341,0.0001413856,0.0008857509,0.0001659213,0.00008243506,0.000372991,0.0005281465,0.1580297,0.005163899,0.7740574,0.00305961,0.05741667],"study_design_scores_gemma":[0.00005434788,0.00004683606,0.0001578549,0.00008004162,0.0000584066,0.00012432,0.00009642155,0.7640912,0.003770854,0.2091003,0.02238412,0.00003531604],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.001543877,0.00008362346,0.9955198,0.0003742363,0.00002852434,0.00009471633,0.00003576925,0.001118707,0.001200856],"genre_scores_gemma":[0.07599362,0.0002198405,0.9212669,0.0001572034,0.00007409917,0.0002806337,0.000155252,0.0001642772,0.001688249],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.009015643,"threshold_uncertainty_score":0.0476799,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0303077560838228,"score_gpt":0.2895329646253979,"score_spread":0.2592252085415751,"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."}}