References

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