Charles Grellois | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Ugo Dal Lago
34 publications
Naoki Kobayashi
18 publications
Tiziano Dalmonte
7 publications
Nicola Olivetti
6 publications

research

∙ 01/28/2019

Intuitionistic Non-Normal Modal Logics: A general framework

We define a family of intuitionistic non-normal modal logics; they can b...

0 Tiziano Dalmonte, et al. ∙

research

∙ 11/06/2018

On the Termination Problem for Probabilistic Higher-Order Recursive Programs

In the last two decades, there has been much progress on model checking ...

0 Naoki Kobayashi, et al. ∙