( en | de | ru )

 

Disambiguierung von "Akazaki, Takumi"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Input Synthesis for Sampled Data Systems by Program Logic.

, , und . HAS, Volume 174 von EPTCS, Seite 22-39. (2014)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Takumi Toyama

 

Weitere Publikationen von Autoren mit dem selben Namen

Time Robustness in MTL and Expressivity in Hybrid System Falsification (Extended Version)., und . CoRR, (2015)Falsification of Cyber-Physical Systems Using Deep Reinforcement Learning., , , , und . IEEE Trans. Software Eng., 47 (12): 2823-2840 (2021)A Boyer-Moore Type Algorithm for Timed Pattern Matching., , und . FORMATS, Volume 9884 von Lecture Notes in Computer Science, Seite 121-139. Springer, (2016)Time Robustness in MTL and Expressivity in Hybrid System Falsification., und . CAV (2), Volume 9207 von Lecture Notes in Computer Science, Seite 356-374. Springer, (2015)Falsification of Conditional Safety Properties for Cyber-Physical Systems with Gaussian Process Regression.. RV, Volume 10012 von Lecture Notes in Computer Science, Seite 439-446. Springer, (2016)Solving Weighted Abduction via Max-SAT Solvers., , , , und . FLAIRS, Seite 142-147. AAAI Press, (2020)Input Synthesis for Sampled Data Systems by Program Logic., , und . HAS, Volume 174 von EPTCS, Seite 22-39. (2014)Q&A MAESTRO: Q&A Post Recommendation for Fixing Java Runtime Exceptions., , , , und . ASE, Seite 1227-1231. IEEE, (2021)Causality-Aided Falsification., , und . FVAV@iFM, Volume 257 von EPTCS, Seite 3-18. (2017)