Takumi Akazaki

According to our database1, Takumi Akazaki authored at least 8 papers between 2014 and 2020.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2020
Solving Weighted Abduction via Max-SAT Solvers.
Proceedings of the Thirty-Third International Florida Artificial Intelligence Research Society Conference, 2020

2018
Falsification of Cyber-Physical Systems Using Deep Reinforcement Learning.
Proceedings of the Formal Methods - 22nd International Symposium, 2018

2017
Causality-Aided Falsification.
Proceedings of the Proceedings First Workshop on Formal Verification of Autonomous Vehicles, 2017

2016
Falsification of Conditional Safety Properties for Cyber-Physical Systems with Gaussian Process Regression.
Proceedings of the Runtime Verification - 16th International Conference, 2016

A Boyer-Moore Type Algorithm for Timed Pattern Matching.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2016

2015
Time Robustness in MTL and Expressivity in Hybrid System Falsification (Extended Version).
CoRR, 2015

Time Robustness in MTL and Expressivity in Hybrid System Falsification.
Proceedings of the Computer Aided Verification - 27th International Conference, 2015

2014
Input Synthesis for Sampled Data Systems by Program Logic.
Proceedings of the Proceedings 4th Workshop on Hybrid Autonomous Systems, 2014


  Loading...