{"id":"W80513260","doi":"10.14236/ewic/vecos2007.12","title":"Zenoness detection and timed model checking for real time systems","year":2007,"lang":"en","type":"article","venue":"Electronic workshops in computing","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":true,"ca_institutions":"Polytechnique Montréal","funders":"","keywords":"Zeno's paradoxes; Petri net; Bounded function; Computer science; Model checking; State (computer science); Class (philosophy); Property (philosophy); Reachability; Infinity; Algorithm; Theoretical computer science; Control theory (sociology); Mathematics; Artificial intelligence","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.00219445,0.0007518428,0.0007725054,0.001145377,0.0005350066,0.00171113,0.001603707,0.001047553,0.00185771],"category_scores_gemma":[0.0119496,0.0005141091,0.001905421,0.0008135112,0.002692641,0.003708581,0.001577808,0.001568531,0.0001934167],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001312545,"about_ca_system_score_gemma":0.001848991,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.006788183,"about_ca_topic_score_gemma":0.005360313,"domain_scores_codex":[0.9964709,0.0009825337,0.0002356702,0.0007635767,0.001231465,0.0003158061],"domain_scores_gemma":[0.9902033,0.006471876,0.001043658,0.001515623,0.0006051221,0.0001605484],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0007415223,0.0001860126,0.006732895,0.0005456748,0.0002579303,0.001003592,0.0007143572,0.6052254,0.03190019,0.2638073,0.001195625,0.0876895],"study_design_scores_gemma":[0.00004553994,0.00005233004,0.0002295922,0.00003528547,0.00004238483,0.0001213244,0.00003092152,0.9121137,0.01635436,0.06993166,0.00101662,0.00002638531],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02327748,0.0001088261,0.9745087,0.0000863477,0.00002877388,0.00003927428,0.00005463131,0.001130518,0.000765416],"genre_scores_gemma":[0.6743467,0.000197126,0.3235668,0.00008868024,0.00002699753,0.0001486072,0.000190731,0.0001834166,0.001250951],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006788183,"threshold_uncertainty_score":0.01349735,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01693187343777117,"score_gpt":0.2907240179441869,"score_spread":0.2737921445064157,"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."}}