( en | de | ru )

 

Disambiguierung von "Hasuo, Ichiro"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Parity Automata for Quantitative Linear Time Logics.

, , und . CALCO, Volume 72 von LIPIcs, Seite 7:1-7:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)

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.

Temmyo Ichiro

Ichiro Yamaguchi

Ichiro Yamaguchi

Ichiro Tamura

Ichiro Omura

 

Weitere Publikationen von Autoren mit dem selben Namen

Traces for coalgebraic components., und . Math. Struct. Comput. Sci., 21 (2): 267-320 (2011)Abstract Interpretation with Infinitesimals: Towards Scalability in Nonstandard Static Analysis (Extended Version)., , und . CoRR, (2015)Time Robustness in MTL and Expressivity in Hybrid System Falsification (Extended Version)., und . CoRR, (2015)Bounding Errors Due to Switching Delays in Incrementally Stable Switched Systems (Extended Version)., , und . CoRR, (2017)Fast Falsification of Hybrid Systems using Probabilistically Adaptive Input., , , und . CoRR, (2018)Categorical Büchi and Parity Conditions via Alternating Fixed Points of Functors., und . CMCS, Volume 11202 von Lecture Notes in Computer Science, Seite 214-234. Springer, (2018)Probabilistic Anonymity Via Coalgebraic Simulations., und . ESOP, Volume 4421 von Lecture Notes in Computer Science, Seite 379-394. Springer, (2007)Multi-armed Bandits for Boolean Connectives in Hybrid System Falsification., , und . CAV (1), Volume 11561 von Lecture Notes in Computer Science, Seite 401-420. Springer, (2019)Two-Layered Falsification of Hybrid Systems Guided by Monte Carlo Tree Search., , , , und . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 37 (11): 2894-2905 (2018)Hybrid System Falsification Under (In)equality Constraints via Search Space Transformation., , und . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 39 (11): 3674-3685 (2020)