V této práci jsme nejdříve zformalizovali mechanismus propojující taxikáře a pasažéry, který je použit jako součást moderního systém pro rezervace vozidel taxi za pomoci mobilních aplikací. Jako klíčovou a kritickou část ...