scientific article
From MaRDI portal
Publication:2845509
zbMath1271.68144MaRDI QIDQ2845509
P. Madhusudan, Wonhong Nam, Rajeev Alur
Publication date: 30 August 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066105825447
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (6)
Towards scalable synthesis of stochastic control systems ⋮ Symbolic bounded synthesis ⋮ Solving μ-Calculus Parity Games by Symbolic Planning ⋮ Reachability Games on Automatic Graphs ⋮ Synthesis of Fault-Tolerant Embedded Systems Using Games: From Theory to Practice ⋮ Robust approximate symbolic models for a class of continuous-time uncertain nonlinear systems via a control interface
Uses Software
This page was built for publication:
