default search action

combined dblp search
author search
venue search
publication search

ask others

Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID

"Formal Techniques for the Verification and Optimal Control of ..."

Alberto Puggelli (2014)

> Home

Details and statistics

DOI: —

access: closed

type: Book or Thesis

metadata version: 2022-06-22

- view
  - electronic edition @ escholarship.org
- export record
  dblp key:
  - phd/us/Puggelli14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/us/Puggelli14
Alberto Puggelli:
Formal Techniques for the Verification and Optimal Control of Probabilistic Systems in the Presence of Modeling Uncertainties. University of California, Berkeley, USA, 2014

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.