{"id":"W1982295030","doi":"10.1016/s0950-5849(03)00068-5","title":"Implicit integration of scenarios into a reduced timed automaton","year":2003,"lang":"en","type":"article","venue":"Information and Software Technology","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":false,"ca_institutions":"Computer Research Institute of Montréal; Université de Montréal; Concordia University; Université du Québec à Montréal","funders":"","keywords":"Automaton; Computer science; Timed automaton; Programming language; Theoretical computer science","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.0008578459,0.0004562968,0.0005061583,0.0007079628,0.0005878992,0.001465679,0.001536202,0.000807591,0.006757576],"category_scores_gemma":[0.003707374,0.0005359831,0.001255461,0.000485438,0.001408105,0.00241754,0.00207536,0.00131937,0.001092895],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0006791448,"about_ca_system_score_gemma":0.000885491,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002208225,"about_ca_topic_score_gemma":0.002400797,"domain_scores_codex":[0.9988242,0.0002880952,0.00008295259,0.0002233619,0.0004284398,0.0001529674],"domain_scores_gemma":[0.9984899,0.0006399454,0.0001215373,0.0003856177,0.0002724872,0.00009053196],"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.0002313205,0.0001264602,0.0008593395,0.0001224013,0.00005780262,0.0006509745,0.0008307594,0.1387542,0.02156056,0.8070337,0.0006580738,0.02911465],"study_design_scores_gemma":[0.00005699687,0.00008506265,0.0002137894,0.00003616611,0.00008985907,0.0001798067,0.0001168575,0.6509088,0.01478335,0.32308,0.01041518,0.00003415613],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.04806136,0.0000327497,0.9393679,0.0001036131,0.00003627676,0.00008805426,0.000111182,0.001143819,0.01105501],"genre_scores_gemma":[0.652128,0.00006658924,0.3410774,0.00004408867,0.00001933394,0.000197952,0.0002941613,0.0002642153,0.005908142],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006757576,"threshold_uncertainty_score":0.02260637,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01024369505394215,"score_gpt":0.2667338875668766,"score_spread":0.2564901925129345,"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."}}