Hirotoshi Yasuoka

From MaRDI portal
Person:2453116

Available identifiers

zbMath Open yasuoka.hirotoshiMaRDI QIDQ2453116

List of research outcomes





PublicationDate of PublicationType
Quantitative projection coverage for testing ML-enabled autonomous systems2023-07-28Paper
Quantitative information flow as safety and liveness hyperproperties2021-04-14Paper
A decision tree approach to data classification using signal temporal logic2017-05-19Paper
Quantitative information flow as safety and liveness hyperproperties2014-06-06Paper
Polymorphic Fractional Capabilities2009-08-18Paper

Research outcomes over time

This page was built for person: Hirotoshi Yasuoka

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2453116&oldid=7740280"
Powered by MediaWiki