Titel

Merkliste
1 Ergebnisse

Characterizing performance guarantees for multiagent, real-..:

, In: Proceedings of the Workshop on Performance Metrics for Intelligent Systems,

Lyons, Damian ; Jiang, Shu ; Arkin, Ronald... - p. 114-120 , 2012

Link: https://dl.acm.org/doi/10.1145/2393091.2393116

RT 
T1 <cTitle>Proceedings of the Workshop on Performance Metrics for Intelligent Systems</cTitle>: T1 <Title>Characterizing performance guarantees for multiagent, real-time systems operating in noisy and uncertain environments</Title>

UL https://suche.suub.uni-bremen.de/peid=acm-2393116&Exemplar=1&LAN=DE
				
A1 Lyons, Damian
A1 Jiang, Shu
A1 Arkin, Ronald
A1 Nirmal, Prem
A1 Fox, Stephen
A1 Zafar, Munzir
PB ACM
YR 2012
K1 performance guarantees
K1 probabilistic and emergent robotic systems
K1 robotics
K1 Computing methodologies
K1 Artificial intelligence
K1 Planning and scheduling
K1 Robotic planning
K1 Computer systems organization
K1 Embedded and cyber-physical systems
K1 Robotics
K1 Control methods
K1 Software and its engineering
K1 Software creation and management
K1 Software development process management
K1 Software organization and properties
K1 Software functional properties
K1 Formal methods
K1 Software verification
K1 Software verification and validation
K1 Formal software verification
K1 Theory of computation
K1 Semantics and reasoning
K1 Program reasoning
K1 Program verification
K1 Software notations and tools
K1 Development frameworks and environments
K1 General and reference
K1 Cross-computing tools and techniques
K1 Verification
SP 114
OP 120
LK http://dx.doi.org/https://dl.acm.org/doi/10.1145/2393091.2393116
DO https://dl.acm.org/doi/10.1145/2393091.2393116
SF ELIB - SuUB Bremen

Export

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