In this paper, we investigate the decision making of autonomous vehicles in
an unsignalized intersection in presence of malicious vehicles, which are
vehicles that do not respect the law by not using the proper rules of the right
of way. Each vehi...
Thorsten Wißmann, Stefan Milius, Shin-ya Katsumata, Jérémy Dubut
Commentationes Mathematicae Universitatis Carolinae, special issue dedicated to Vêra Trnková Mar 2019 [Refereed]
Coalgebras for an endofunctor provide a category-theoretic framework for
modeling a wide range of state-based systems of various types. We provide an
iterative construction of the reachable part of a given pointed coalgebra that
is inspired by and...
Foundations of Software Science and Computation Structures - 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings 224-241 2019 [Refereed]
Juraj Kolcák,Ichiro Hasuo,Jérémy Dubut,Shin-ya Katsumata,David Sprunger,Akihisa Yamada
Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2019, Montreal, QC, Canada, April 16-18, 2019. 284-285 2019 [Refereed]
Foundations of Software Science and Computation Structures - 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings 523-540 2019 [Refereed]
Automata, Languages, and Programming - 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II 171-183 2015 [Refereed]
In this paper, we consider a problem of decision making for multiple
autonomous vehicles in a roundabout. In particular, we propose an approach that
balances between the safety of all vehicles and their velocity, using a Nash
equilibrium to make a...
Juraj Kolčák, Ichiro Hasuo, Jérémy Dubut, Shin-ya Katsumata, David Sprunger, Akihisa Yamada
Mar 2019
In the field of quality assurance of hybrid systems (that combine continuous
physical dynamics and discrete digital control), Platzer's differential dynamic
logic (dL) is widely recognized as a deductive verification method with solid
mathematical...
Jérémy Dubut, Ichiro Hasuo, Shin-ya Katsumata, David Sprunger
Sep 2018
We investigate a canonical way of defining bisimilarity of systems when their
semantics is given by a coreflection, typically in a category of transition
systems. We use the fact, from Joyal et al., that coreflections preserve open
morphisms situa...
In this paper, we investigate diagrams, namely functors from any small
category to a fixed category, and more particularly, their bisimilarity.
Initially defined using the theory of open maps of Joyal et al., we prove
several equivalent characteri...
nii.ac.jp