Naoki Kobayashi | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Pricing

Featured Co-authors

Kento Tanahashi
1 publication
Yo Mitani
1 publication
Takeshi Tsukada
1 publication
Ryosuke Sato
1 publication

research

∙ 03/15/2022

Automatic HFL(Z) Validity Checking for Program Verification

We propose an automated method for checking the validity of a formula of...

0 Kento Tanahashi, et al. ∙

research

∙ 11/29/2020

A Probabilistic Higher-order Fixpoint Logic

We introduce PHFL, a probabilistic extension of higher-order fixpoint lo...

0 Yo Mitani, et al. ∙

Success!

An error occurred