{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.002045765,0.0003282217,0.000655745,0.0002982353,0.0001538273,0.0001814198,0.001152059,0.0001817829,0.000001206414],"category_scores_gemma":[0.00007629982,0.0002912568,0.0001994538,0.0004334346,0.00006343598,0.0004762561,0.0001101081,0.0001937678,0.0000237555],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000253169,"about_ca_system_score_gemma":0.00005276869,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0004030227,"about_ca_topic_score_gemma":0.000004871927,"domain_scores_codex":[0.9960793,0.0006080227,0.001064265,0.0007019928,0.001064847,0.0004815622],"domain_scores_gemma":[0.9976054,0.0002113034,0.0005670934,0.001302726,0.0001501343,0.0001633571],"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.00002971472,0.00006862163,0.0001808644,0.001127469,0.0001065034,0.000008027067,0.001822804,0.8978187,0.004776808,0.09247253,0.000116929,0.001470989],"study_design_scores_gemma":[0.0004627047,0.0001952878,0.0001300272,0.001502503,0.00001887694,0.00005516185,0.0002806353,0.9962279,0.000285557,0.0003582396,0.0001869787,0.0002960871],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.130052,0.000446641,0.8651261,0.00008939877,0.002134077,0.0006472414,0.00003880362,0.0002513997,0.001214317],"genre_scores_gemma":[0.9985683,0.0000102378,0.0008722659,0.00001575342,0.0001714391,0.00009187628,0.00003305423,0.00003244893,0.0002046295],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8685163,"threshold_uncertainty_score":0.999954,"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."}}