Titel

Merkliste
1 Ergebnisse

Strategy synthesis for partially-known switched stochastic ..:

, In: Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control,

Jackson, John ; Laurenti, Luca ; Frew, Eric. - p. 1-11 , 2021

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

RT 
T1 <cTitle>Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control</cTitle>: T1 <Title>Strategy synthesis for partially-known switched stochastic systems</Title>

UL https://suche.suub.uni-bremen.de/peid=acm-3456649&Exemplar=1&LAN=DE
				
A1 Jackson, John
A1 Laurenti, Luca
A1 Frew, Eric
A1 Lahijanian, Morteza
PB ACM
YR 2021
K1 formal synthesis
K1 gaussian process regression
K1 safe autonomy
K1 switched stochastic systems
K1 uncertain markov decision processes
K1 Theory of computation
K1 Semantics and reasoning
K1 Program reasoning
K1 Abstraction
K1 Logic
K1 Logic and verification
K1 Computer systems organization
K1 Embedded and cyber-physical systems
K1 Robotics
K1 Robotic autonomy
K1 Mathematics of computing
K1 Probability and statistics
K1 Stochastic processes
K1 Computing methodologies
K1 Machine learning
K1 Machine learning approaches
K1 Kernel methods
K1 Gaussian processes
SP 1
OP 11
LK http://dx.doi.org/https://dl.acm.org/doi/10.1145/3447928.3456649
DO https://dl.acm.org/doi/10.1145/3447928.3456649
SF ELIB - SuUB Bremen

Export

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