{"id":"W2891468696","doi":"10.1155/2018/6269526","title":"An Innovative Approach for Modelling Urban Road Traffic Using Timed Automata and Formal Methods","year":2018,"lang":"en","type":"article","venue":"Journal of Advanced Transportation","topic":"Traffic control and management","field":"Engineering","cited_by":15,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Rotation formalisms in three dimensions; Computer science; Automaton; Cellular automaton; Formal methods; Computation; Complex system; Point (geometry); Distributed computing; Control engineering; Theoretical computer science; Software engineering; Artificial intelligence; Algorithm; Engineering","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":true,"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.001471733,0.0009330871,0.0005199822,0.001332847,0.0005590594,0.001936196,0.001778972,0.001082376,0.001891461],"category_scores_gemma":[0.002180165,0.0004273802,0.002071526,0.0009513235,0.00180335,0.00177567,0.001413823,0.001331607,0.0004508703],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009220703,"about_ca_system_score_gemma":0.001699372,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003051748,"about_ca_topic_score_gemma":0.002748645,"domain_scores_codex":[0.998952,0.0004133267,0.0001036614,0.0001521094,0.0003130297,0.00006583981],"domain_scores_gemma":[0.9992008,0.0004010881,0.0001010612,0.0001444611,0.0001248967,0.00002769649],"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.0000218668,0.00005210593,0.0004656085,0.0002523842,0.00005591398,0.0003814612,0.0005915129,0.1913406,0.006465471,0.7685938,0.0006745424,0.03110472],"study_design_scores_gemma":[0.00002785853,0.00008497421,0.0002080338,0.0001927376,0.00008785738,0.0003211356,0.0001577745,0.614067,0.004011583,0.3271257,0.05366097,0.00005440673],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.001106151,0.0001588462,0.9967566,0.00007160119,0.00003568404,0.00003711409,0.00003102002,0.000115577,0.001687408],"genre_scores_gemma":[0.1081016,0.001064849,0.8863896,0.00009740952,0.00008159908,0.0004767317,0.0001965984,0.0001097821,0.00348178],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.003051748,"threshold_uncertainty_score":0.007783353,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02054846798671449,"score_gpt":0.2898979768001335,"score_spread":0.269349508813419,"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."}}