Skip to content

Christian Muise

  • PhD
  • Research Staff Member
  • IBM Cambridge Research Center
  • 9h-indexImpact measure calculated using publication and citation counts. Updated daily.
  • 259CitationsNumber of citations received by Christian's publications. Updated daily.

Publications (20)

  • Synthesizing controllers: On the correspondence between LTL synthesis and non-deterministic planning

    • Camacho A
    • Baier J
    • Muise C
    • et al.
    N/AReaders
    2Citations
    Get full text
  • Logical filtering and smoothing: State estimation in partially observable domains

    • Mombourquette B
    • Muise C
    • McIlraith S
    N/AReaders
    0Citations
  • Non-deterministic planning with temporally extended goals: LTL over finite and infinite traces

    • Camacho A
    • Triantafillou E
    • Muise C
    • et al.
    N/AReaders
    10Citations
  • Belief state estimation for planning via approximate logical filtering and smoothing

    • Mombourquette B
    • Muise C
    • McIlraith S
    N/AReaders
    0Citations
  • Belief update for proper epistemic knowledge bases

    • Miller T
    • Muise C
    N/AReaders
    3Citations
  • From FOND to robust probabilistic planning: Computing compact policies that bypass avoidable deadends

    • Camacho A
    • Muise C
    • McIlraith S
    N/AReaders
    6Citations
  • Knowing Whether in proper epistemic knowledge bases

    • Miller T
    • Felli P
    • Muise C
    • et al.
    N/AReaders
    2Citations
  • Optimal Partial-Order Plan Relaxation via MaxSAT

    • Muise C
    • Beck J
    • Mcilraith S
    N/AReaders
    4Citations
  • Planning for a single agent in a multi-agent environment using FOND

    • Muise C
    • Felli P
    • Miller T
    • et al.
    N/AReaders
    1Citations
  • Towards team formation via automated planning

    • Muise C
    • Dignum F
    • Felli P
    • et al.
    N/AReaders
    0Citations
    Get full text
  • Traps, invariants, and dead-ends

    • Lipovetzky N
    • Muise C
    • Geffner H
    N/AReaders
    7Citations
  • #∃sat: Projected model counting

    • Aziz R
    • Chu G
    • Muise C
    • et al.
    N/AReaders
    7Citations
    Get full text
  • Computing social behaviours using agent models

    • Felli P
    • Miller T
    • Muise C
    • et al.
    N/AReaders
    2Citations
  • Efficient reasoning with consistent proper epistemic knowledge bases

    • Muise C
    • Miller T
    • Felli P
    • et al.
    N/AReaders
    4Citations
  • Planning over multi-agent epistemic states: A classical planning approach

    • Muise C
    • Belle V
    • Felli P
    • et al.
    N/AReaders
    20Citations
  • Stable model counting and its application in probabilistic logic programming

    • Aziz R
    • Chu G
    • Muise C
    • et al.
    N/AReaders
    3Citations
  • Non-deterministic planning with conditional effects

    • Muise C
    • Mcllraith S
    • Belle V
    N/AReaders
    7Citations
  • SAT-based analysis and quantification of information flow in programs

    • Klebanov V
    • Manthey N
    • Muise C
    N/AReaders
    20Citations
    Get full text
  • Generalizing and executing plans

    • Muise C
    N/AReaders
    0Citations
    Get full text
  • Optimally relaxing partial-order plans with MaxSAT

    • Muise C
    • McIlraith S
    • Beck J
    N/AReaders
    7Citations