Hsieh Chiao ＨｓｉｅｈＣｈｉａｏ (謝橋)

… Alternative Names

謝橋

謝橋

Less

Researcher Number	71006426
Other IDs	https://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 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