Automated verification of model-based programs under uncertainty
Thesis (M. Eng. and S.B.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2004.
Main Author: | Mahtab, Tazeen, 1981- |
---|---|
Other Authors: | Gregory T. Sullivan and Brian C. Williams. |
Format: | Thesis |
Language: | en_US |
Published: |
Massachusetts Institute of Technology
2005
|
Subjects: | |
Online Access: | http://hdl.handle.net/1721.1/28453 |
Similar Items
-
Automating modular program verification by refining specifications
by: Taghdiri, Mana, 1979-
Published: (2008) -
Safety verification for automated vehicle maneuvers
by: Dolginova, Ekaterina, 1977-
Published: (2009) -
Restricted branching programs and hardware verification
by: Ponzio, Stephen J. (Stephen John)
Published: (2006) -
Stochastic optimization of electricity transmission : dynamic programming algorithms under uncertainties
by: Sivakumar, Ishwar Krishnan Ashok, 1980-
Published: (2013) -
A specification and verification of intermittent global order broadcast
by: Matlon, Catherine A. (Catherine Ann), 1981-
Published: (2005)