{"id":"W159998745","doi":"","title":"Fair cycle detection using description logic reasoning","year":2009,"lang":"en","type":"article","venue":"Research Explorer (The University of Manchester)","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Liveness; Computation tree logic; Counterexample; Model checking; Temporal logic; Path (computing); Linear temporal logic; State (computer science); Theoretical computer science; Computer science; Set (abstract data type); Mathematics; Computation; CTL*; Discrete mathematics; Algorithm; 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":[],"consensus_categories":[],"category_scores_codex":[0.00187232,0.00008253141,0.0001085755,0.0002307358,0.0005218704,0.00006867349,0.001013979,0.00007013162,0.000008544274],"category_scores_gemma":[0.0001405272,0.00007805627,0.00006218233,0.0006948369,0.0001830516,0.001253806,0.000242097,0.0003026111,0.00004450199],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002543112,"about_ca_system_score_gemma":0.00004651714,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001427499,"about_ca_topic_score_gemma":0.000001171247,"domain_scores_codex":[0.9982213,0.0005506261,0.0001169911,0.0002858813,0.0005129823,0.0003122429],"domain_scores_gemma":[0.9989123,0.00008469574,0.00009124458,0.0006053747,0.0002371308,0.00006929551],"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.0003326505,0.0004058296,0.00109028,0.000116373,0.00006151795,0.00006418409,0.1115676,0.006290496,0.2329648,0.1376205,0.0002406415,0.5092452],"study_design_scores_gemma":[0.0007122681,0.0006756955,0.0814844,0.0001869269,0.0000189835,0.00004845467,0.01429382,0.8142362,0.04410023,0.04197717,0.001910192,0.0003556384],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.4377204,0.00002790612,0.5616121,0.0002532954,0.00005525778,0.000125148,1.609e-7,0.00005308053,0.0001525508],"genre_scores_gemma":[0.8380668,0.00003628815,0.1618286,0.00002382022,0.00003026112,3.146974e-7,5.005126e-7,0.000003535805,0.000009831808],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8079457,"threshold_uncertainty_score":0.4013858,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.166118526235253,"score_gpt":0.3396573054754267,"score_spread":0.1735387792401737,"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."}}