{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002039784,0.000713664,0.000567154,0.001031788,0.0003971141,0.001186181,0.00166372,0.0007329967,0.003130418],"category_scores_gemma":[0.008284363,0.0003116606,0.001033062,0.0008038438,0.001602356,0.001513931,0.00098458,0.001089515,0.0004290109],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008463996,"about_ca_system_score_gemma":0.00144725,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001115584,"about_ca_topic_score_gemma":0.00100393,"domain_scores_codex":[0.9971207,0.0008098554,0.0001967834,0.0004597784,0.001160111,0.0002527159],"domain_scores_gemma":[0.9937065,0.004191631,0.0003740611,0.0006709626,0.0008826873,0.000174141],"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.0007711303,0.0003048447,0.002349293,0.0004977077,0.0001189472,0.001375925,0.0004069539,0.2610088,0.05371884,0.4595032,0.00277075,0.2171737],"study_design_scores_gemma":[0.0002100293,0.0002393448,0.0001664472,0.00005120619,0.00007271838,0.0003672472,0.00003302446,0.8242518,0.0489048,0.1218552,0.003809199,0.00003886544],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.009093974,0.00003346649,0.9880888,0.00006232207,0.00003029134,0.00008202682,0.00002992359,0.001145251,0.001434037],"genre_scores_gemma":[0.486854,0.0001130947,0.5106258,0.0001763256,0.00003437588,0.000291994,0.000269527,0.0002329135,0.001401869],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.003130418,"threshold_uncertainty_score":0.01078755,"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."}}