{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0008724087,0.0001888072,0.0001571221,0.0002149873,0.0003948557,0.001021008,0.002888323,0.00008429361,0.000007096766],"category_scores_gemma":[0.0003347433,0.0001720315,0.0000430154,0.00213901,0.0002781955,0.00343422,0.0008319896,0.0002589491,0.0002093653],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001658625,"about_ca_system_score_gemma":0.000253489,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002740787,"about_ca_topic_score_gemma":1.014323e-7,"domain_scores_codex":[0.9974939,0.00004643667,0.0003007781,0.0007510599,0.0008045316,0.0006033342],"domain_scores_gemma":[0.9982342,0.00007345324,0.0001458755,0.000840559,0.0004425395,0.0002634219],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000003973609,0.000129255,0.006551765,0.00005673162,0.000008824024,0.000005336294,0.003392843,0.0006702114,0.005614803,0.2689893,0.000576033,0.7140009],"study_design_scores_gemma":[0.0001182855,0.0001222899,0.1091901,0.00008827035,0.000002648867,0.00004403224,0.00002188956,0.8197246,0.03332681,0.03655149,0.0004308686,0.0003787034],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.03904068,0.00003886408,0.9569196,0.0004470418,0.002476676,0.0003144322,0.000001309619,0.0004845323,0.0002769238],"genre_scores_gemma":[0.417457,0.000004672598,0.5821691,0.00007631453,0.0002250639,0.0000584534,7.997801e-7,0.000004436455,0.000004144941],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.8190544,"threshold_uncertainty_score":0.9845606,"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."}}