{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.001487923,0.001474435,0.001147916,0.001905928,0.0008712661,0.004192605,0.00238251,0.001447133,0.3699673],"category_scores_gemma":[0.005863215,0.001114802,0.001131019,0.001211683,0.0006516385,0.004877531,0.00346123,0.001741233,0.2170763],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001104434,"about_ca_system_score_gemma":0.001157959,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004645639,"about_ca_topic_score_gemma":0.007184708,"domain_scores_codex":[0.9992902,0.0001369352,0.00004768826,0.0001264646,0.0003065974,0.00009202871],"domain_scores_gemma":[0.9968475,0.001134821,0.0001157093,0.001176252,0.0005127395,0.0002129225],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0007768745,0.0002038649,0.0009433711,0.0005205251,0.00006562941,0.0002155893,0.0004582124,0.002953,0.01098731,0.02802536,0.6620955,0.2927549],"study_design_scores_gemma":[0.0002857663,0.00005119957,0.001282635,0.0002034799,0.00003837755,0.0001871199,0.0002383308,0.03830473,0.04021335,0.032769,0.8863173,0.0001087086],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"software","genre_gemma":"empirical","genre_scores_codex":[0.003613697,0.0001475452,0.3771153,0.0009934446,0.0005029793,0.0005193436,0.02589618,0.4308577,0.1603539],"genre_scores_gemma":[0.07936945,0.0008792207,0.2869599,0.000833699,0.0002609775,0.001017214,0.07736831,0.1957317,0.3575796],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.3699673,"threshold_uncertainty_score":0.8986652,"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."}}