Skip to main content
eScholarship
Open Access Publications from the University of California
Refine Search

UC Berkeley

UC Berkeley Previously Published Works bannerUC Berkeley
Menu
  • About eScholarship
  • UC Open Access Policies
  • Journals
  • Academic Units
RSS
  • eScholarship
  • UC Berkeley
  • UC Berkeley Previously Published Works
Download PDF
  • Main
    • PDF
Share
EmailFacebook

Control Improvisation with Probabilistic Temporal Specifications.

2016
  • Akkaya, Ilge;
  • Fremont, Daniel J;
  • Valle, Rafael;
  • Donzé, Alexandre;
  • Lee, Edward A;
  • Seshia, Sanjit A

Published Web Location

https://doi.org/10.1109/IoTDI.2015.33


Jump To

Article
  • Introduction
  • Background
  • Control Improvisation with Probabilistic Temporal Specifications
  • Experimental Results and Analysis
  • Related Work
  • Conclusion
  • References
  • Metrics
  • Author & Article Info

Related Items

  • Gender and policy persuasion

    • Anderson-Nilsson, Georgia;
    • Clayton, Amanda
  • The Unbearable Tightness of Building

    • Galvez, Liz;
    • Yarina, Lizzie;
    • Bode, Claudia
  • From Exigent to Adaptive

    • Gálvez, Elizabeth
  • Collective Comfort: A Public Program for Heat Resilience

    • Munenzon, Dalia;
    • Galvez, Elizabeth
  • Cooked Air

    • Galvez, Elizabeth
Top
  • Home
  • About eScholarship
  • Campus Sites
  • UC Open Access Policy
  • eScholarship Publishing
  • Accessibility
  • Privacy Statement
  • Site Policies
  • Terms of Use
  • Admin Login
  • Help
eScholarship, University of California
Powered by the
California Digital Library
Copyright © 2017
The Regents of the University of California