{"id":"W6979279164","doi":"","title":"Time for Timed Monitorability","year":2025,"lang":"en","type":"article","venue":"ArXiv.org","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Natural Sciences and Engineering Research Council of Canada; Mitacs","keywords":"Nondeterministic algorithm; Undecidable problem; Decidability; Automaton; Property (philosophy); Model checking; Finite-state machine; Temporal logic","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00434859,0.001471307,0.001251522,0.001351802,0.001988365,0.005411238,0.001936894,0.002198258,0.01521128],"category_scores_gemma":[0.02985667,0.0009998531,0.003589103,0.001140493,0.005500406,0.009838566,0.004531537,0.006455126,0.002162638],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003921365,"about_ca_system_score_gemma":0.002853147,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002896357,"about_ca_topic_score_gemma":0.002142439,"domain_scores_codex":[0.9919066,0.001732003,0.0007326638,0.002853513,0.001961168,0.0008140061],"domain_scores_gemma":[0.9782293,0.01428572,0.001446033,0.003649896,0.001775651,0.000613383],"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.000123359,0.00003345438,0.0004173929,0.0001949244,0.00003802247,0.0001580741,0.0003737131,0.01089861,0.002924894,0.9709528,0.001719999,0.01216475],"study_design_scores_gemma":[0.00006341181,0.00004217359,0.0001095767,0.00006377399,0.00004015625,0.0001192717,0.00005028655,0.03529978,0.002691897,0.9502898,0.01120482,0.00002503726],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0212509,0.001671525,0.9337317,0.004041799,0.0005231207,0.0003030095,0.0008122193,0.002179724,0.03548602],"genre_scores_gemma":[0.5795997,0.001898928,0.3896921,0.001906373,0.0008815367,0.001688601,0.001438144,0.001510896,0.02138364],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01521128,"threshold_uncertainty_score":0.05088681,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0457215403252418,"score_gpt":0.3329349345452383,"score_spread":0.2872133942199965,"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."}}