@misc(Amundsen,
 author       = {F. H. Amundsen and C. Hyden},
 year         = {1977},
 title        = {Proc. of the first Workshop on Traffic Conflicts, Oslo, Norway},
 note         = {1st Workshop on Traffic Conflicts, LTH Lund},
)
@inproceedings(antonakos2007justified,
 author       = {E. Antonakos},
 year         = {2007},
 title        = {Justified and common knowledge: Limited conservativity},
 booktitle    = {International Symposium on Logical Foundations of Computer Science},
 organization = {Springer},
 pages        = {1--11},
 doi          = {10.1007/978-3-540-72734-7_1},
)
@inproceedings(artemov2009logical,
 author       = {S. Artemov and R. Kuznets},
 year         = {2009},
 title        = {Logical omniscience as a computational complexity problem},
 booktitle    = {Proc. of the 12th Conference on Theoretical Aspects of Rationality and Knowledge},
 organization = {ACM},
 pages        = {14--23},
 doi          = {10.1145/1562814.1562821},
)
@article(artemov2005,
 author       = {S. Artemov and E. Nogina},
 year         = {2005},
 title        = {Introducing justification into epistemic logic},
 journal      = {Journal of Logic and Computation},
 volume       = {15},
 number       = {6},
 pages        = {1059--1073},
 doi          = {10.1093/logcom/exi053},
)
@article(artemov:jck:2006,
 author       = {S. N. Artemov},
 year         = {2006},
 title        = {Justified common knowledge},
 journal      = {Theor. Comput. Sci.},
 volume       = {357},
 number       = {1-3},
 pages        = {4--22},
 doi          = {10.1016/j.tcs.2006.03.009},
)
@article(artemov:logic-justification:2008,
 author       = {S. N. Artemov},
 year         = {2008},
 title        = {The Logic of Justification},
 journal      = {Rew. Symb. Logic},
 volume       = {1},
 number       = {4},
 pages        = {477--513},
 doi          = {10.1017/S1755020308090060},
)
@article(Brenguier2017,
 author       = {R Brenguier and J.-F. Raskin and O. Sankur},
 year         = {2017},
 title        = {Assume-admissible synthesis},
 journal      = {Acta Informatica},
 volume       = {54},
 number       = {1},
 pages        = {41--83},
 doi          = {10.1007/s00236-016-0273-2},
)
@inproceedings(bucheli:temporal-justification:2017,
 author       = {S. Bucheli and M. Ghari and T. Studer},
 year         = {2017},
 title        = {Temporal Justification Logic},
 booktitle    = {{\rm Proc. of the 9th Workshop on} Methods for Modalities, {\rm January 2017}},
 series       = {EPTCS},
 volume       = {243},
 publisher    = {Open Publishing Association},
 pages        = {59--74},
 doi          = {10.4204/EPTCS.243.5},
)
@inproceedings(Henzinger,
 author       = {K. Chatterjee and T. A. Henzinger},
 year         = {2007},
 title        = {Assume-Guarantee Synthesis},
 booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems},
 publisher    = {Springer},
 pages        = {261--275},
 doi          = {10.1007/978-3-540-71209-1_21},
)
@inproceedings(perimeter,
 author       = {W. Damm and B. Finkbeiner},
 year         = {2011},
 title        = {Does It Pay to Extend the Perimeter of a World Model?},
 booktitle    = {FM 2011: Formal Methods},
 publisher    = {Springer},
 pages        = {12--26},
 doi          = {10.1007/978-3-642-21437-0_4},
)
@inproceedings(WYRNTKAYN,
 author       = {W. Damm and B. Finkbeiner and A. Rakow},
 year         = {2016},
 title        = {What You Really Need To Know About Your Neighbor},
 booktitle    = {Proc. Fifth Workshop on Synthesis, SYNT@CAV 2016},
 series       = {{EPTCS}},
 volume       = {229},
 pages        = {21--34},
 doi          = {10.4204/EPTCS.229.4},
)
@article(ConflictTR,
 author       = {W. Damm and M Fr\"anzle and W. Hagemann and P. Kr\"oger and A. Rakow},
 year         = {2019},
 title        = {Justification Based Reasoning for Dynamic Conflict Resolution},
 journal      = {arXiv e-prints},
 eid          = {arxiv:1905.11764},
 url          = {http://arxiv.org/abs/1905.11764},
)
@article(Dejoy,
 author       = {D. M. DeJoy},
 year         = {1989},
 title        = {The optimism bias and traffic accident risk perception},
 journal      = {Accident Analysis \& Prevention},
 volume       = {21},
 number       = {4},
 pages        = {333 -- 340},
 doi          = {10.1016/0001-4575(89)90024-9},
)
@inproceedings(Yices,
 author       = {B. Dutertre},
 year         = {2014},
 title        = {Yices 2.2},
 booktitle    = {Computer Aided Verification},
 publisher    = {Springer},
 pages        = {737--744},
 doi          = {10.1007/978-3-319-08867-9_49},
)
@inproceedings(SimConflict,
 author       = {El hadouaj, S. and A. Drogoul and S. Espi{\'e}},
 year         = {2001},
 title        = {How to Combine Reactivity and Anticipation: The Case of Conflicts Resolution in a Simulated Road Traffic},
 booktitle    = {Multi-Agent-Based Simulation},
 publisher    = {Springer},
 pages        = {82--96},
 doi          = {10.1007/3-540-44561-7_6},
)
@article(fagin1987,
 author       = {R. Fagin and J. Y. Halpern},
 year         = {1987},
 title        = {Belief, awareness, and limited reasoning.},
 journal      = {Artificial intelligence},
 volume       = {34},
 number       = {1},
 pages        = {39--76},
 doi          = {10.1016/0004-3702(87)90003-8},
)
@book(fagin:reasoning:2003,
 author       = {R. Fagin and J. Y. Halpern and Y. Moses and Moshe Y. Vardi},
 year         = {2003},
 title        = {Reasoning About Knowledge},
 publisher    = {MIT Press},
)
@article(Galtung,
 author       = {J. Galtung},
 year         = {1969},
 title        = {{Violence, Peace, and Peace Research}},
 journal      = {Journal of Peace Research},
 volume       = {6},
 number       = {3},
 pages        = {167--191},
 doi          = {10.1177/002234336900600301},
)
@inproceedings(gerbrandy1998,
 author       = {J. Gerbrandy},
 year         = {1998},
 title        = {Distributed knowledge},
 booktitle    = {Twendial 1998: Formal Semantics and Pragmatics of Dialogue},
 volume       = {98},
 pages        = {111--124},
)
@article(gettier1963justified,
 author       = {E. L. Gettier},
 year         = {1963},
 title        = {Is justified true belief knowledge?},
 journal      = {Analysis},
 volume       = {23},
 number       = {6},
 pages        = {121--123},
 doi          = {10.1093/analys/23.6.121},
)
@article(Harris,
 author       = {J. I. Harris and S. R. Perkins},
 year         = {1967},
 title        = {Traffic conflict characteristics: accident potential at intersections},
 journal      = {Highway Research Board},
 volume       = {225},
 pages        = {35--43},
)
@inproceedings(kokkinis:probabilistic-justification:2016,
 author       = {I. Kokkinis and Z. Ognjanovic and T. Studer},
 year         = {2016},
 title        = {Probabilistic Justification Logic},
 booktitle    = {Logical Foundations of Computer Science - International Symposium, {LFCS} 2016. Proc.},
 series       = {LNCS},
 volume       = {9537},
 publisher    = {Springer},
 pages        = {174--186},
 doi          = {10.1007/978-3-319-27683-0_13},
)
@article(Langer,
 author       = {J. E. Langer},
 year         = {1975},
 title        = {The Illusion of Control},
 journal      = {Journal of Personality and Social Psychology},
 volume       = {32},
 pages        = {311--328},
 doi          = {10.1037/0022-3514.32.2.311},
)
@inproceedings(lichtenstein1985,
 author       = {O. Lichtenstein and A. Pnueli and L. Zuck},
 year         = {1985},
 title        = {The glory of the past},
 booktitle    = {Workshop on Logic of Programs},
 organization = {Springer},
 pages        = {196--218},
 doi          = {10.1007/3-540-15648-8_16},
)
@inproceedings(ConvexConflict,
 author       = {N. Murgovski and G. R. de Campos and Sj\IeC{\"o}berg, J.},
 year         = {2015},
 title        = {Convex modeling of conflict resolution at traffic intersections},
 booktitle    = {2015 54th IEEE Conference on Decision and Control (CDC)},
 pages        = {4708--4713},
 doi          = {10.1109/CDC.2015.7402953},
)
@article(Tiwari,
 author       = {G. Tiwari and D. Mohan and J. Fazio},
 year         = {1998},
 title        = {Conflict analysis for prediction of fatal crash locations in mixed traffic streams},
 journal      = {Accident Analysis \& Prevention},
 volume       = {30},
 number       = {2},
 pages        = {207 -- 215},
 doi          = {10.1016/S0001-4575(97)00082-1},
)