{"id":"W2093645787","doi":"10.1007/s10626-014-0193-7","title":"Enforcing opacity of regular predicates on modal transition systems","year":2014,"lang":"en","type":"article","venue":"Discrete Event Dynamic Systems","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":24,"is_retracted":false,"has_abstract":false,"ca_institutions":"Mount Allison University","funders":"","keywords":"Opacity; Sigma; Predicate (mathematical logic); Modal; Lift (data mining); Controller (irrigation); Mathematics; Discrete mathematics; Combinatorics; Algorithm; Computer science; Physics; Programming language","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.008845143,0.0008972701,0.001768576,0.001532276,0.00169273,0.004169674,0.0028853,0.001742172,0.002217128],"category_scores_gemma":[0.05021325,0.001581561,0.002363513,0.0009458213,0.005448138,0.008747025,0.01017236,0.006394414,0.0002608026],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002294355,"about_ca_system_score_gemma":0.003105084,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004588165,"about_ca_topic_score_gemma":0.003986505,"domain_scores_codex":[0.9888837,0.002519685,0.0008458728,0.001522696,0.003825687,0.002402465],"domain_scores_gemma":[0.9317643,0.04393716,0.00463979,0.01361309,0.003926971,0.002118695],"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.00179206,0.0003180554,0.007034882,0.0003333788,0.0002059162,0.001485588,0.002730548,0.1226847,0.03255042,0.7783328,0.001692186,0.05083952],"study_design_scores_gemma":[0.0001503531,0.0001323481,0.0007282893,0.00006660476,0.0001434319,0.0001606886,0.0002448142,0.39745,0.02135059,0.5769057,0.002608738,0.00005845772],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.1588394,0.0001510889,0.830922,0.0006305017,0.0001542352,0.0001742018,0.0002034083,0.002681435,0.006243729],"genre_scores_gemma":[0.9461241,0.0001030241,0.05173327,0.0001940837,0.0001049121,0.00006969245,0.0001374718,0.0002884141,0.00124502],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.008845143,"threshold_uncertainty_score":0.04677808,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.008616318623974216,"score_gpt":0.2355877878856722,"score_spread":0.226971469261698,"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."}}