Titel

Merkliste
1 Ergebnisse

MTL Robustness for Path Planning with A*:

, In: Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems,

Alqahtani, Sarra ; Riley, Ian ; Taylor, Samuel.. - p. 247-255 , 2018

Link: https://dl.acm.org/doi/10.5555/3237383.3237425

RT 
T1 <cTitle>Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems</cTitle>: T1 <Title>MTL Robustness for Path Planning with A*</Title>

UL https://suche.suub.uni-bremen.de/peid=acm-3237425&Exemplar=1&LAN=DE
				
A1 Alqahtani, Sarra
A1 Riley, Ian
A1 Taylor, Samuel
A1 Gamble, Rose
A1 Mailler, Roger
PB International Foundation for Autonomous Agents and Multiagent Systems
YR 2018
K1 a*
K1 metric temporal logic
K1 path planning
K1 robustness
K1 Theory of computation
K1 Logic
K1 Modal and temporal logics
K1 Computing methodologies
K1 Artificial intelligence
K1 Planning and scheduling
K1 Planning under uncertainty
K1 Software and its engineering
K1 Software organization and properties
K1 Software functional properties
K1 Formal methods
K1 Dynamic analysis
K1 Computer systems organization
K1 Embedded and cyber-physical systems
K1 Robotics
K1 Robotic control
SP 247
OP 255
LK http://dx.doi.org/https://dl.acm.org/doi/10.5555/3237383.3237425
DO https://dl.acm.org/doi/10.5555/3237383.3237425
SF ELIB - SuUB Bremen

Export

RefWorks (nur Desktop-Version!)
Flow (Zuerst in Flow einloggen, dann importieren)