Satoshi Komatsu

From MaRDI portal



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
AIC for the group Lasso in generalized linear models
Japanese Journal of Statistics and Data Science
2020-03-04Paper
Using Counterexample Analysis to Minimize the Number of Predicates for Predicate Abstraction
Automated Technology for Verification and Analysis
2008-07-03Paper


Research outcomes over time


This page was built for person: Satoshi Komatsu