Titel

Merkliste
1 Ergebnisse

Exploiting learning and scenario-based specification langua..:

, In: Proceedings of the 1st International Workshop on Software Engineering for AI in Autonomous Systems,

Damm, Werner ; Galbas, Roland - p. 39-46 , 2018

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

RT 
T1 <cTitle>Proceedings of the 1st International Workshop on Software Engineering for AI in Autonomous Systems</cTitle>: T1 <Title>Exploiting learning and scenario-based specification languages for the verification and validation of highly automated driving</Title>

UL https://suche.suub.uni-bremen.de/peid=acm-3194086&Exemplar=1&LAN=DE
				
A1 Damm, Werner
A1 Galbas, Roland
PB ACM
YR 2018
K1 formal specification
K1 highly automated driving
K1 learning
K1 requirement analysis
K1 statistical model-checking
K1 verification and validation
K1 Computing methodologies
K1 Artificial intelligence
K1 Knowledge representation and reasoning
K1 Reasoning about belief and knowledge
K1 Social and professional topics
K1 Professional topics
K1 Computing profession
K1 Codes of ethics
K1 Machine learning
K1 Learning paradigms
K1 Supervised learning
K1 Supervised learning by classification
K1 Cost-sensitive learning
K1 Modeling and simulation
K1 Model development and analysis
K1 Model verification and validation
K1 Uncertainty quantification
K1 Nonmonotonic, default reasoning and belief revision
K1 Spatial and physical reasoning
K1 Planning and scheduling
K1 Planning under uncertainty
K1 Machine learning approaches
K1 Partially-observable Markov decision processes
K1 Simulation types and techniques
K1 Rare-event simulation
K1 Simulation by animation
K1 Distributed artificial intelligence
K1 Intelligent agents
SP 39
OP 46
LK http://dx.doi.org/https://dl.acm.org/doi/10.1145/3194085.3194086
DO https://dl.acm.org/doi/10.1145/3194085.3194086
SF ELIB - SuUB Bremen

Export

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