{"id":"W4244493924","doi":"10.1109/.2001.980608","title":"On vector trajectory specifications for multi-agent product systems","year":2002,"lang":"en","type":"article","venue":"Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228)","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"McGill University","funders":"","keywords":"Automaton; Product (mathematics); Spec#; Trajectory; Computer science; Büchi automaton; Theoretical computer science; Algebra over a field; Algorithm; Mathematics; Deterministic automaton; Programming language; Pure mathematics","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.004350299,0.001346315,0.0007694055,0.001716709,0.000900008,0.0031786,0.001552795,0.002263731,0.003350774],"category_scores_gemma":[0.01044859,0.001002068,0.001542361,0.002498756,0.003819602,0.007186089,0.003167124,0.002498152,0.0009434592],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001671886,"about_ca_system_score_gemma":0.001818145,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003646874,"about_ca_topic_score_gemma":0.002791836,"domain_scores_codex":[0.9951349,0.001473775,0.0005497984,0.0007287907,0.001763019,0.000349625],"domain_scores_gemma":[0.9911034,0.005438204,0.0007201314,0.00100476,0.001491212,0.0002423161],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00008379751,0.00003062788,0.0004772492,0.0001255992,0.0000212516,0.0004395093,0.0006850336,0.04234686,0.003205247,0.9349199,0.0007238289,0.01694097],"study_design_scores_gemma":[0.00004736013,0.0002369705,0.0003004859,0.0002277366,0.00003671558,0.000423157,0.0003328422,0.2221474,0.006844384,0.7441905,0.02513824,0.00007416843],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01495842,0.0004814407,0.9774993,0.0003037104,0.0000381931,0.00013613,0.0002491076,0.0002381519,0.006095507],"genre_scores_gemma":[0.4666863,0.002349876,0.5157048,0.0005497342,0.0002638507,0.001372836,0.002199111,0.0003611153,0.01051232],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004350299,"threshold_uncertainty_score":0.02300686,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1463488633990367,"score_gpt":0.3023302796180064,"score_spread":0.1559814162189697,"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."}}