Refine Results
People
  1. Thomas Henzinger (415)
  2. Herbert Edelsbrunner (275)
  3. Krishnendu Chatterjee (272)
  4. Jiří Friml (256)
  5. Nicholas Barton (252)

More People

Publications
  1. PNAS (93)
  2. Nature (79)
  3. Physical Review Letters (76)
  4. Journal of Neuroscience (62)
  5. Science (62)

More Publications

Publishers
  1. Springer (866)
  2. Elsevier (427)
  3. Nature Publishing Group (287)
  4. ACM (244)
  5. Wiley-Blackwell (238)

More Publishers

Affiliation
  1. IST Austria (2014)
Peer reviewed
  1. yes (2461)
  2. no (2163)

Results (4624)

  • Designing inflatable structures
    Conference paper
  • Timed network games with clocks
    Conference paper
  • Infinite-duration Poorman-bidding games
    Conference paper
  • Sensor synthesis for POMDPs with reachability objectives
    Conference paper