研究キーワード (6件):
圏論
, 計算機システムの形式検証
, 情報セキュリティ
, Category Theory
, Formal Verification of Computer Systems
, Information Security
論文 (175件):
Kazuki Watanabe 0003, Clovis Eberhart, Kazuyuki Asada, Ichiro Hasuo. Compositional Solution of Mean Payoff Games by String Diagrams. Principles of Verification (3). 2024. 423-445
Kittiphon Phalakarn, Sasinee Pruekprasert, Ichiro Hasuo. Winning Strategy Templates for Stochastic Parity Games towards Permissive and Resilient Control. CoRR. 2024. abs/2409.08607
Sota Sato 0001, Jie An 0001, Zhenya Zhang, Ichiro Hasuo. Optimization-Based Model Checking and Trace Synthesis for Complex STL Specifications. CoRR. 2024. abs/2408.06983
Kazuki Watanabe 0003, Sebastian Junges, Jurriaan Rot, Ichiro Hasuo. A Unifying Approach to Product Constructions for Quantitative Temporal Inference. CoRR. 2024. abs/2407.10465
Takamasa Okudono, Masaki Waga, Taro Sekiyama, Ichiro Hasuo. Learning Weighted Finite Automata over the Max-Plus Semiring and its Termination. CoRR. 2024. abs/2407.09775
Proving Safety of Automated Driving Vehicles
(ICTAC 2024 2024)
Abstract and Concrete Model Checking
(ICTAC 2024 2024)
Proving Safety of Automated Driving Vehicles: Formalization of RSS with Program Logic
(The 3rd Workshop on Safety Testing and Validation of Connected and Automated Vehicles 2023)
Proving Safety of Automated Driving Vehicles
(Forum "Math for Industry" 2023 2023)