Refine Results
Years
  1. 2009 (177)
Publications
  1. CAV: Computer Aided Verification (5)
  2. Cell (5)
  3. Physical Review Letters (5)
  4. CVPR: Computer Vision and Pattern Recognition (4)
  5. ICCV: International Conference on Computer Vision (4)

More Publications

Affiliation
  1. IST Austria (16)
Peer reviewed
  1. no (133)
  2. yes (44)
Invited
  1. no (176)
  2. yes (1)

Results (177)

  • Synthesizing robust systems
    Conference paper