{"id":"W7124168539","doi":"10.65109/fsai8221","title":"On the verification of social commitments and time","year":2011,"lang":"","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"","keywords":"Model checking; Binary decision diagram; Symbolic trajectory evaluation; Representation (politics); Modalities; Formal verification; Computation tree logic; Temporal logic","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.008356177,0.001471304,0.001419483,0.001776293,0.002585942,0.00410213,0.00301561,0.001864481,0.005425549],"category_scores_gemma":[0.04574325,0.001004693,0.003250751,0.002160418,0.007330824,0.00992326,0.00585157,0.003759703,0.0008187863],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.004059197,"about_ca_system_score_gemma":0.006837069,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.01049952,"about_ca_topic_score_gemma":0.008940139,"domain_scores_codex":[0.9875436,0.004742343,0.0006787011,0.002009377,0.00409388,0.0009321214],"domain_scores_gemma":[0.9577497,0.03302604,0.002686473,0.003786675,0.002218899,0.0005321569],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0005342921,0.0001817778,0.001649476,0.0004151188,0.0001437883,0.0006616918,0.001023931,0.1904227,0.008390971,0.7300569,0.001825032,0.06469435],"study_design_scores_gemma":[0.0001669069,0.0001187557,0.0002861115,0.00009037743,0.00007201559,0.0001948039,0.0001621201,0.6382883,0.01466737,0.3401984,0.005692982,0.00006177741],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02788318,0.0002149587,0.9643531,0.0009419271,0.0000759981,0.0002214658,0.0002228812,0.001185887,0.004900526],"genre_scores_gemma":[0.5254955,0.0004421837,0.4676906,0.0003589954,0.00009185803,0.0005914175,0.0005758043,0.0004017853,0.004351897],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01049952,"threshold_uncertainty_score":0.04419225,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.08727473891793311,"score_gpt":0.2897024853893376,"score_spread":0.2024277464714045,"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."}}