scientific article
From MaRDI portal
Publication:3161546
zbMath1204.68223MaRDI QIDQ3161546
Suresh Jayaraman, Antonios Tsourdos, Gopinadh Sirigineedi, Rafał Żbikowski, Brian A. White
Publication date: 15 October 2010
Full work available at URL: http://nonlinearstudies.com/index.php/mesa/article/view/400
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44) Artificial intelligence for robotics (68T40)
This page was built for publication:
