{"id":"W2775713557","doi":"10.1007/s11241-017-9297-0","title":"Delay-dependent partial order reduction technique for real time systems","year":2017,"lang":"en","type":"article","venue":"Real-Time Systems","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":10,"is_retracted":false,"has_abstract":false,"ca_institutions":"Polytechnique Montréal","funders":"","keywords":"Reachability; Partial order reduction; Convex hull; Reduction (mathematics); Petri net; Regular polygon; Context (archaeology); Set (abstract data type); Computer science; State space; Automaton; State (computer science); Hull; Identity (music); Order (exchange); Mathematics; Model checking; Algorithm; Theoretical computer science; Geometry; Physics","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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.003224339,0.0003067014,0.0005102637,0.0001583742,0.0007492058,0.0009298772,0.001705695,0.0003357474,0.00001050602],"category_scores_gemma":[0.0002354842,0.0002892568,0.0001206783,0.000174155,0.00009945252,0.001168628,0.0002488107,0.0001640213,0.0004613],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0003127849,"about_ca_system_score_gemma":0.000175477,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002205073,"about_ca_topic_score_gemma":0.000001738675,"domain_scores_codex":[0.9968378,0.0004439098,0.0007809312,0.0007950319,0.0005753252,0.0005670067],"domain_scores_gemma":[0.9958003,0.00009140161,0.0009378262,0.002527168,0.0004611691,0.0001821206],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"bench_or_experimental","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0001634673,0.0002321968,0.00008697319,0.0008366015,0.0001964397,0.00003015827,0.0007638953,0.003374652,0.8131806,0.1618146,0.0122976,0.007022883],"study_design_scores_gemma":[0.001040689,0.0005850955,0.0002833181,0.0005510785,0.00007536676,0.001019818,0.0000853917,0.9309486,0.04875293,0.0004868155,0.01511348,0.001057393],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.004179784,0.00007293246,0.9648207,0.0001109632,0.004518135,0.003670096,0.0000350754,0.0007557434,0.02183652],"genre_scores_gemma":[0.4502581,0.0001750212,0.5057326,0.000009088963,0.003685222,0.005066744,0.00007600263,0.0001821944,0.03481503],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.927574,"threshold_uncertainty_score":0.999956,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03138281613212452,"score_gpt":0.3137023800549307,"score_spread":0.2823195639228062,"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."}}