{"id":"W51776367","doi":"","title":"Timed test generation based on timed temporal logic","year":2010,"lang":"en","type":"article","venue":"International Conference on Information and Automation","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Bishop's University","funders":"","keywords":"Temporal logic; Computer science; Interval temporal logic; Linear temporal logic; Temporal logic of actions; Computation tree logic; Process (computing); Logic analyzer; 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.0005678724,0.0001614789,0.0001044448,0.0003930232,0.0001590007,0.0006160241,0.0004588222,0.0001258746,0.0002463106],"category_scores_gemma":[0.0005394543,0.0001477706,0.00003511665,0.0001910033,0.00005077335,0.00255234,0.00004650121,0.0002472163,0.000439807],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005850854,"about_ca_system_score_gemma":0.0001035994,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001122269,"about_ca_topic_score_gemma":0.000004947268,"domain_scores_codex":[0.998611,0.00005383166,0.0004416588,0.0002064127,0.0005470188,0.000140134],"domain_scores_gemma":[0.9987798,0.00009069133,0.0003323522,0.0003279115,0.0003908225,0.00007847253],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00001760513,0.00008465288,0.0002884526,0.00001009264,0.000005849281,5.356023e-7,0.0003541326,0.0006435804,0.006426881,0.8643536,0.0008189782,0.1269957],"study_design_scores_gemma":[0.0004404527,0.000143399,0.007950204,0.00002016075,0.000001954692,0.000006053698,0.00001587699,0.9794307,0.005744783,0.002582819,0.003497295,0.0001663322],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02365832,9.831433e-7,0.9106024,0.006467271,0.001939329,0.0004183174,0.00002745135,0.0004881872,0.05639774],"genre_scores_gemma":[0.8610581,0.00000382568,0.1365204,0.001878188,0.00009820749,0.0000551765,0.0002682264,0.000004527136,0.0001133857],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9787871,"threshold_uncertainty_score":0.6025909,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04492357170955044,"score_gpt":0.3110138972223448,"score_spread":0.2660903255127944,"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."}}