Zobrazeno 1 - 10
of 25 173
pro vyhledávání: '"Formal design"'
Autor:
Tosunlu, Berkay, Guillaume, Joseph H. A., Tsoukiàs, Alexis, Hassenforder, Emeline, Chrii, Samia, Braiki, Houssem, Pluchinotta, Irene
Groundwater management, especially in regions like Tunisia, is challenging due to diverse stakeholder interests and the dry structure of climate, which is extremely challenging for the sustainability of water resources. This paper proposes an innovat
Externí odkaz:
http://arxiv.org/abs/2410.05303
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
In Journal of Network and Computer Applications February 2024 222
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Balabonski, Thibaut, Courtieu, Pierre, Pelle, Robin, Rieg, Lionel, Tixeuil, Sébastien, Urbain, Xavier
Previous works on formally studying mobile robotic swarms consider necessary and sufficient system hypotheses enabling to solve theoretical benchmark problems (geometric pattern formation, gathering, scattering, etc.). We argue that formal methods ca
Externí odkaz:
http://arxiv.org/abs/2101.06966
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Integrated Task and Motion Planning (ITMP) for mobile robots in a dynamic environment with moving obstacles is a challenging research question and attracts more and more attentions recently. Most existing methods either restrict to static environment
Externí odkaz:
http://arxiv.org/abs/1604.05657