{"id":"W1592823304","doi":"10.1007/978-3-642-04766-4_20","title":"Generating In-Line Monitors for Rabin Automata","year":2009,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":10,"is_retracted":false,"has_abstract":false,"ca_institutions":"Université Laval","funders":"","keywords":"Computer science; Automaton; Line (geometry); Theoretical computer science; Mathematics","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.002229643,0.0004850345,0.0005272172,0.0009828152,0.0002252932,0.0004825072,0.003557663,0.0003664358,0.000003755479],"category_scores_gemma":[0.0003606779,0.000470926,0.0001185455,0.0007335798,0.0003072388,0.0008289285,0.0006537977,0.0006714576,0.00001209019],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0003632339,"about_ca_system_score_gemma":0.0004261066,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001267697,"about_ca_topic_score_gemma":0.00002933064,"domain_scores_codex":[0.9962136,0.00005793522,0.0007658374,0.001507651,0.0007502462,0.0007047949],"domain_scores_gemma":[0.9973081,0.0004501992,0.0003721953,0.001523849,0.0002218118,0.0001238765],"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.000004413734,0.00002223826,0.00001095949,0.0000263022,0.000002333253,0.00001214312,0.0002954052,0.09668557,0.0003569421,0.01937607,0.00001067568,0.8831969],"study_design_scores_gemma":[0.0002975943,0.0002155088,0.00008106483,0.0002438078,0.000003100414,0.00002506754,1.002295e-7,0.9049164,0.003961652,0.08896679,0.0008111558,0.000477758],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0001489671,0.0002575923,0.9948534,0.000527108,0.002356132,0.000714627,0.000004169595,0.0002042352,0.0009337356],"genre_scores_gemma":[0.009256322,0.00002675147,0.9889257,0.0008855001,0.0006269003,0.00002681694,0.000006406102,0.00002871984,0.0002168857],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.8827192,"threshold_uncertainty_score":0.9997742,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03675569103308342,"score_gpt":0.3075073424662501,"score_spread":0.2707516514331667,"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."}}