Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Reaching out towards fully verified autonomous systems - MaRDI portal

Reaching out towards fully verified autonomous systems

From MaRDI portal

Publication:2330586

Jump to:navigation, search

DOI10.1007/978-3-030-30806-3_3zbMath1455.93133OpenAlexW2971572120MaRDI QIDQ2330586

Sergio Mover, Sriram Sankaranarayanan, Souradeep Dutta

Publication date: 22 October 2019

Full work available at URL: https://doi.org/10.1007/978-3-030-30806-3_3

zbMATH Keywords

formal verification autonomous systems constraint solvers

Mathematics Subject Classification ID

Artificial neural networks and deep learning (68T07) Automated systems (robots, etc.) in control theory (93C85)

This page was built for publication: Reaching out towards fully verified autonomous systems

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:2330586&oldid=14930346"