Research keywords (2):
Machine Learning
, software model checking, computer software, formal verification, real-time systems
Research theme for competitive and other funds (11):
2021 - 2024 Software model checking for real-time properties of embedded assembply program with interruptions
2018 - 2021 Software model checking of real-time safety properties for embedded assembly program
2015 - 2018 Verifying safety properties of embedded assembly program using innovative software model checking
2014 - 2017 Research and development of a software infrastructure dealing with execution histories for various applications
2012 - 2015 Advanced methods of design and verification for dynamically reconfigurable embedded systems
2007 - 2009 Automatic verification method for large scale embedded object-oriented design based on predicate abstraction
2002 - 2004 リアルタイムソフトウェアの形式的手法
2002 - 2004 formal method of real-time software
2002 - 2004 Development of design methodologies and support environments of high-reliability embedded systems based on hybrid models
1999 - 2001 Design Support of Autonomous Distributed Systems by Integratig Temporal Logic, Concurrency Theny, Autom
1997 - 1999 A Construction of Psychological Model for Rating Psychological Quantities and its Experimental Studies
Show all
Papers (133):
Shunya Kidera, Kosuke Shintani, Toi Tsuneda, Satoshi Yamane. Combined Constraint on Behavior Cloning and Discriminator in Offline Reinforcement Learning. IEEE Access. 2024
Satoshi Yamane, Taro Kriyama, Yajun Wu. An Efficient Reduction of Timer Interrupts for Model Checking of Embedded Assembly Programs. Electronics. 2024. 13. 2
Shunya KIDERA, Kosuke SHINTANI, Toi TSUNEDA, Satoshi YAMANE. Combined Constraint on Behavior Cloning and Discriminator in Offline Reinforcement Learning (Extended Abstract). IEICE Technical Report. 2024. MSS2023. 56. 25-30