Towards Formal Linear Multi-Agent Stochastic Model Predictive Control with Temporal Logic Specifications
M.H.W. Engelaar
Towards Formal Linear Multi-Agent Stochastic Model Predictive Control with Temporal Logic Specifications A Risk-Aware and Formal Abstraction Approach
In het kort
ISBN-13
9789038665863
Verschenen
28 januari 2026
Bibliografisch
Uitgave
Vorm & inhoud
ProductvormPaperback BC
SamenstellingLos product
Classificatie
NUR (hoofd)Elektrotechniek 959
NUR (alle)959 Elektrotechniek
Medewerkers
Auteur A01M.H.W. Engelaar
Herkomst
Werk-id (NSTC)501653174
MeldingBevestigd bij publicatie 03
Bijgewerkt6 augustus 2026
Lijkt op dit boek
Integration of novel polarization handling devices on the generic InP platform
Panelenbouw is een vak apart
2 Luchtbehandeling
Zakboek Elektrotechniek
Handboek Explosieveiligheid
Handbook Explosion Safety
Handbuch Explosionsschutz
Industriële automatiseringstechnieken
Silicon Sensors and Actuators
Inspectie van elektrische installaties
NSTC 501653174 · CB-relatie 8180218 · Bijgewerkt 6 augustus 2026