( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
CosyVerif: The Path to Formalisms Cohabitation.

, , , , , , и . Petri Nets, том 14628 из Lecture Notes in Computer Science, стр. 432-444. Springer, (2024)

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.

Benoît Barbot

Benoît Cordonnier

Non-Newtonian effects in silicate liquids and crystal bearing melts: implication for magma dynamics. Uni München, (2009)

Benoît Mindzeng

Benoît Vaugon

Benoît Delahaye

 

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

Wordgen : a Timed word Generation Tool., , и . HSCC, стр. 16:1-16:7. ACM, (2023)Analyzing Robustness of Angluin's L$^*$ Algorithm in Presence of Noise., , , , , , , и . Log. Methods Comput. Sci., (2024)Analyzing Robustness of Angluin's L* Algorithm in Presence of Noise., , , , , , , и . GandALF, том 370 из EPTCS, стр. 81-96. (2022)Falsification of Cyber-Physical Systems with Constrained Signal Spaces., , , , , и . NFM, том 12229 из Lecture Notes in Computer Science, стр. 420-439. Springer, (2020)Generation of Signals Under Temporal Constraints for CPS Testing., , и . NFM, том 11460 из Lecture Notes in Computer Science, стр. 54-70. Springer, (2019)Bayesian Networks as Approximations of Biochemical Networks., , , и . EPEW, том 14231 из Lecture Notes in Computer Science, стр. 216-233. Springer, (2023)Controller Synthesis in Timed Büchi Automata: Robustness and Punctual Guards., , , и . QEST+FORMATS, том 14996 из Lecture Notes in Computer Science, стр. 268-283. Springer, (2024)CosyVerif: The Path to Formalisms Cohabitation., , , , , , и . Petri Nets, том 14628 из Lecture Notes in Computer Science, стр. 432-444. Springer, (2024)Max-Entropy Sampling for Deterministic Timed Automata Under Linear Duration Constraints., и . QEST, том 14287 из Lecture Notes in Computer Science, стр. 188-204. Springer, (2023)Extracting Context-Free Grammars from Recurrent Neural Networks using Tree-Automata Learning and A* Search., , , , , , , , и . ICGI, том 153 из Proceedings of Machine Learning Research, стр. 113-129. PMLR, (2021)