{"id":"W2056081080","doi":"10.1016/j.tcs.2009.06.019","title":"On-the-fly<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" altimg=\"si1.gif\" display=\"inline\" overflow=\"scroll\"><mml:mi>T</mml:mi><mml:mi>C</mml:mi><mml:mi>T</mml:mi><mml:mi>L</mml:mi></mml:math>model checking for time Petri nets","year":2009,"lang":"lv","type":"article","venue":"Theoretical Computer Science","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":24,"is_retracted":false,"has_abstract":false,"ca_institutions":"Polytechnique Montréal","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Scroll; Algorithm; Computer science; Computer graphics (images); Artificial intelligence; Mathematics; Theology; Philosophy","routes":{"ca_aff":true,"ca_fund":true,"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":["metaepi_narrow","sts","scholarly_communication","open_science","research_integrity","insufficient_payload"],"consensus_categories":["sts","insufficient_payload"],"category_scores_codex":[0.007758583,0.001254369,0.0006438574,0.0007464082,0.003506464,0.003510631,0.007851912,0.001571322,0.005420276],"category_scores_gemma":[0.00294474,0.00175698,0.00150775,0.002861563,0.005802774,0.002798662,0.004022519,0.002193217,0.002684026],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000791798,"about_ca_system_score_gemma":0.001910383,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001490141,"about_ca_topic_score_gemma":0.00003440598,"domain_scores_codex":[0.9857805,0.0008108638,0.002332864,0.00330497,0.004104076,0.003666688],"domain_scores_gemma":[0.9883805,0.00328116,0.001826495,0.004475179,0.0004834152,0.001553277],"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.0007358391,0.0004806869,0.000003568987,0.0003172412,0.0002340333,0.0002749931,0.002381753,0.01099293,0.001770416,0.95421,0.01680992,0.01178866],"study_design_scores_gemma":[0.001140433,0.002250839,0.00004769585,0.0008513295,0.0003133885,0.0006244319,0.0001362557,0.7083212,0.2351167,0.04905548,0.0007360542,0.001406227],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5249043,0.0004766324,0.4229731,0.002643071,0.004831113,0.0002419657,0.0001630498,0.0005558933,0.04321091],"genre_scores_gemma":[0.8640827,0.0001813201,0.1288985,0.004238666,0.00164644,0.000374879,0.000133478,0.0003263281,0.0001177029],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.9051545,"threshold_uncertainty_score":0.9997249,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02308841751832871,"score_gpt":0.2698443102883918,"score_spread":0.2467558927700631,"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."}}