Vaishak Belle

New AIJ article accepted

Paper link

The article introduces a general logical framework for reasoning about discrete and continuous probabilistic models in dynamical domains.