• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

Hsieh Chiao  Hsieh Chiao (謝 橋)

… Alternative Names

謝 橋

謝橋

Less
Researcher Number 71006426
Other IDs
  • ORCIDhttps://orcid.org/0000-0001-8339-9915
Affiliation (Current) 2026: 北陸先端科学技術大学院大学, 先端科学技術研究科, 特任助教
Affiliation (based on the past Project Information) *help 2026: 京都大学, 情報学研究科, 特定研究員
2024: 京都大学, 情報学研究科, 特定助教
Review Section/Research Field
Principal Investigator
Basic Section 60050:Software-related / 1001:Information science, computer engineering, and related fields
Keywords
Principal Investigator
ブラックボックスモデル / 安定性解析 / サイバーフィジカルシステム / 形式検証
  • Research Projects

    (2 results)
  • Research Products

    (4 results)
  •  Trustworthy Cyber-Physical Systems via Contracts for AI-Enabled PerceptionPrincipal Investigator

    • Principal Investigator
      Hsieh Chiao (謝 橋)
    • Project Period (FY)
      2026 – 2028
    • Research Category
      Grant-in-Aid for Early-Career Scientists
    • Review Section
      Basic Section 60050:Software-related
    • Research Institution
      Kyoto University
  •  Safety Verification of Black Box Cyber-Physical Systems via Lyapunov Stability CertificatesPrincipal Investigator

    • Principal Investigator
      Hsieh Chiao (謝橋)
    • Project Period (FY)
      2024 – 2025
    • Research Category
      Grant-in-Aid for Research Activity Start-up
    • Review Section
      1001:Information science, computer engineering, and related fields
    • Research Institution
      Kyoto University

All 2025 2024

All Journal Article Presentation

  • [Journal Article] Certifying Lyapunov Stability of Black-Box Nonlinear Systems via Counterexample Guided Synthesis2025

    • Author(s)
      Chiao Hsieh, Masaki Waga, Kohei Suenaga
    • Journal Title

      Proceedings of the 28th ACM International Conference on Hybrid Systems: Computation and Control

      Volume: - Pages: 1-11

    • DOI

      10.1145/3716863.3718047

    • Peer Reviewed / Open Access
    • Data Source
      KAKENHI-PROJECT-24K23861
  • [Journal Article] GAS: Generating Fast & Accurate Surrogate Models for Simulations of Autonomous Vehicle Systems2024

    • Author(s)
      Keyur Joshi, Chiao Hsieh, Sayan Mitra, Sasa Misailovic
    • Journal Title

      Proceedings of 2024 IEEE 35th International Symposium on Software Reliability Engineering (ISSRE)

      Volume: - Pages: 260-271

    • DOI

      10.1109/issre62328.2024.00033

    • Peer Reviewed / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-24K23861
  • [Presentation] Perception Contracts for Safety of ML-Enabled Systems2025

    • Author(s)
      Chiao Hsieh
    • Organizer
      第27回プログラミングおよびプログラミング言語ワークショップ
    • Data Source
      KAKENHI-PROJECT-24K23861
  • [Presentation] GAS: Generating Fast & Accurate Surrogate Models for Simulations of Autonomous Vehicle Systems2024

    • Author(s)
      Chiao Hsieh
    • Organizer
      2024 IEEE 35th International Symposium on Software Reliability Engineering (ISSRE)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-24K23861

URL: 

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi