AAAI Press

SHERPA: unknown

People

  1. Chatterjee
    Chatterjee
  2. Chmelik
    Chmelik
  3. Ibsen-Jensen
    Ibsen-Jensen
  4. Tkadlec
    Tkadlec
  5. Avni
    Avni
  6. Bogomolov
    Bogomolov
  7. Kolmogorov
    Kolmogorov
  8. Novotny
    Novotny

Groups

  1. Chatterjee Group (7)
  2. Alumni (3)
  3. Henzinger Group (2)
  4. PhD Students (2)
  5. IST Fellow (1)
  6. Kolmogorov Group (1)
Search Within
Refine Results
Formats
  1. Conference paper (10)
Groups
  1. Chatterjee Group (7)
  2. Alumni (3)
  3. Henzinger Group (2)
  4. PhD Students (2)
  5. IST Fellow (1)

More Groups

People
  1. Krishnendu Chatterjee (7)
  2. Martin Chmelik (3)
  3. Josef Tkadlec (2)
  4. Rasmus Ibsen-Jensen (2)
  5. Guy Avni (1)

More People

Years
  1. 2017 (2)
  2. 2016 (5)
  3. 2015 (2)
  4. 2013 (1)
Publications
  1. AAAI: Conference on Artificial Intelligence (3)
  2. IJCAI: International Joint Conference on Artificial Intelligence (3)
  3. IAAI: Innovative Applications of Artificial Intelligence (2)
  4. ICAPS: International Conference on Automated Planning and Scheduling (2)
Publishers
Affiliation
  1. IST Austria (10)
Open access
  1. yes (repository) (9)
  2. no (1)
Peer reviewed
  1. yes (10)
Invited
  1. no (10)

Results (10)

  • Optimal Coalition Structures in Cooperative Graph Games
    Conference paper

    Bachrach, Yoram; Kohli, Pushmeet; Kolmogorov, Vladimir; Zadimoghaddam, Morteza
    AAAI: Conference on Artificial Intelligence
    AAAI Press (2013)

    GET it@IST | Save
  • Robust draws in balanced knockout tournaments
    Conference paper

    Chatterjee, Krishnendu; Ibsen-Jensen, Rasmus; Tkadlec, Josef
    IJCAI: International Joint Conference on Artificial Intelligence
    AAAI Press (2016)

    GET it@IST | Save
  • Automatic generation of alternative starting positions for simple traditional board games
    Conference paper

    Ahmed, Umair Z; Chatterjee, Krishnendu; Gulwani, Sumit
    IAAI: Innovative Applications of Artificial Intelligence
    AAAI Press (2015)

    GET it@IST | Save
  • Robust draws in balanced knockout tournaments
    Conference paper

    Chatterjee, Krishnendu; Ibsen-Jensen, Rasmus; Tkadlec, Josef
    IJCAI: International Joint Conference on Artificial Intelligence
    AAAI Press (2016)

    GET it@IST | Save
  • A symbolic SAT based algorithm for almost sure reachability with small strategies in pomdps
    Conference paper

    Chatterjee, Krishnendu; Chmelík, Martin; Davies, Jessica
    AAAI: Conference on Artificial Intelligence
    AAAI Press (2016)

    GET it@IST | Save
  • Optimal cost almost-sure reachability in POMDPs
    Conference paper

    Chatterjee, Krishnendu; Chmelík, Martin; Gupta, Raghav; Kanodia, Ayush
    IAAI: Innovative Applications of Artificial Intelligence Conference
    AAAI Press (2016)

    GET it@IST | Save
  • Indefinite-horizon reachability in Goal-DEC-POMDPs
    Conference paper

    Chatterjee, Krishnendu; Chmelík, Martin
    ICAPS: International Conference on Automated Planning and Scheduling
    AAAI Press (2016)

    GET it@IST | Save
  • PDDL+ planning with hybrid automata: Foundations of translating must behavior
    Conference paper

    Bogomolov, Sergiy V; Magazzeni, Daniele; Minopoli, Stefano; Wehrle, Martin
    ICAPS: Automated Planning and Scheduling
    AAAI Press (2015)

    GET it@IST | Save
  • Optimizing expectation with guarantees in POMDPs
    Conference paper

    Chatterjee, Krishnendu; Novotný, Petr; Pérez, Guillermo A; Raskin, Jean-François; Zikelic, Djordje
    AAAI: Conference on Artificial Intelligence
    AAAI Press (2017)

    GET it@IST | Save
  • An abstraction-refinement methodology for reasoning about network games
    Conference paper

    Avni, Guy; Guha, Shibashis; Kupferman, Orna
    IJCAI: International Joint Conference on Artificial Intelligence
    AAAI Press (2017)

    GET it@IST | Save