( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Parity Automata for Quantitative Linear Time Logics.

, , и . CALCO, том 72 из LIPIcs, стр. 7:1-7:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Temmyo Ichiro

Ichiro Yamaguchi

Ichiro Tamura

Ichiro Yamaguchi

Ichiro Omura

 

Другие публикации лиц с тем же именем

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