According to our database1, Takumi Akazaki authored at least 8 papers between 2014 and 2020.
Legend:Book In proceedings Article PhD thesis Other
Proceedings of the Thirty-Third International Florida Artificial Intelligence Research Society Conference, 2020
Proceedings of the Formal Methods - 22nd International Symposium, 2018
Proceedings of the Proceedings First Workshop on Formal Verification of Autonomous Vehicles, 2017
Falsification of Conditional Safety Properties for Cyber-Physical Systems with Gaussian Process Regression.
Proceedings of the Runtime Verification - 16th International Conference, 2016
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2016
Time Robustness in MTL and Expressivity in Hybrid System Falsification (Extended Version).
Proceedings of the Computer Aided Verification - 27th International Conference, 2015
Proceedings of the Proceedings 4th Workshop on Hybrid Autonomous Systems, 2014