- document
-
Zutt, J. (author), Van Gemund, A.J.C. (author), De Weerdt, M.M. (author), Witteveen, C. (author)An important problem in transportation is how to ensure efficient operational route planning when several vehicles share a common road infrastructure with limited capacity. Examples of such a problem are route planning for automated guided vehicles in a terminal and route planning for aircraft taxiing at airports. Maintaining efficiency in such...book chapter 2010
- document
-
Ter Mors, A.W. (author), Witteveen, C. (author), Zutt, J. (author), Kuipers, F.A. (author)In context-aware route planning, there is a set of transportation agents each with a start and destination location on a shared infrastructure. Each agent wants to find a shortest-time route plan without colliding with any of the other agents, or ending up in a deadlock situation. We present a single-agent route planning algorithm that is both...conference paper 2010
- document
- ter Mors, A.W. (author), Witteveen, C. (author), Zutt, J (author), Kuipers, F.A. (author) conference paper 2010
- document
-
Verwer, S.E. (author), De Weerdt, M.M. (author), Zutt, J. (author)In this interactive event we demonstrate a web-based software tool to teach theorem proving in propositional logic, called Bop. This tool is a proof editor in the Fitch proof system that can give hints, proofsteps, or even complete proofs to the student.conference paper 2005
- document
-
De Weerdt, M.M. (author), Van der Krogt, R.P.J. (author), Zutt, J. (author)In this paper we discuss the results of a plan merging algorithm. This algorithm coordinates the plans of multiple, autonomous agents, each able to independently find a plan. This algorithm is evaluated using realistic data from a taxi company. We show that when we allow passengers to be a few minutes later at their destination and share rides,...conference paper 2003
- document
- van der Krogt, R. (author), Zutt, J. (author), Aronson, L. (author) conference paper 2002
- document
-
Zutt, J. (author), De Weerdt, M.M. (author)To test and compare different forms of cooperative planning algorithms developed in the CABS project we use a generic simulator called MARS. Examples in the transportation sector are implemented in this simulator.conference paper 2000