Kengo Kido

Publication Activity (10 Years)

Years Active: 2015-2018
Publications (10 Years): 6

Top Topics

Learning Systems

Complementarity Problems

Abstract Interpretation

Top Venues

Publications

Kengo Kido, Sean Sedwards, Ichiro Hasuo
Bounding Errors Due to Switching Delays in Incrementally Stable Switched Systems. ADHS (2018)
Kengo Kido, Sean Sedwards, Ichiro Hasuo
Bounding Errors Due to Switching Delays in Incrementally Stable Switched Systems (Extended Version). CoRR (2017)
Takamasa Okudono, Yuki Nishida, Kensuke Kojima, Kohei Suenaga, Kengo Kido, Ichiro Hasuo
Sharper and Simpler Nonlinear Interpolants for Program Verification. CoRR (2017)
Takamasa Okudono, Yuki Nishida, Kensuke Kojima, Kohei Suenaga, Kengo Kido, Ichiro Hasuo
Sharper and Simpler Nonlinear Interpolants for Program Verification. APLAS (2017)
Kengo Kido, Sean Sedwards, Ichiro Hasuo
Switching Delays and the Skorokhod Distance in Incrementally Stable Switched Systems. CyPhy (2017)
Kengo Kido, Swarat Chaudhuri, Ichiro Hasuo
Abstract Interpretation with Infinitesimals - Towards Scalability in Nonstandard Static Analysis. VMCAI (2016)
Kengo Kido, Swarat Chaudhuri, Ichiro Hasuo
Abstract Interpretation with Infinitesimals: Towards Scalability in Nonstandard Static Analysis (Extended Version). CoRR (2015)
Kengo Kido, Swarat Chaudhuri, Ichiro Hasuo
Abstract Interpretation with Infinitesimals: Towards Scalability in Nonstandard Static Analysis. SNR@CAV (2015)