From post

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.

 

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

From model checking to a temporal proof for partial models: preliminary example., , , , и . CoRR, (2017)Specification Patterns for Robotic Missions., , , , и . CoRR, (2019)Integrating Topological Proofs with Model Checking to Instrument Iterative Design., , и . CoRR, (2018)Dealing with incompleteness in automata based model checking.. Polytechnic University of Milan, Italy, (2015)Trace Diagnostics for Signal-Based Temporal Properties., , , и . IEEE Trans. Software Eng., 49 (5): 3131-3154 (2023)Integrating Topological Proofs with Model Checking to Instrument Iterative Design., , и . FASE, том 12076 из Lecture Notes in Computer Science, стр. 53-74. Springer, (2020)PsALM: specification of dependable robotic missions., , , и . ICSE (Companion Volume), стр. 99-102. IEEE / ACM, (2019)Approximation-refinement testing of compute-intensive cyber-physical models: an approach based on system identification., , , и . ICSE, стр. 372-384. ACM, (2020)On requirements verification for model refinements., , , и . RE, стр. 62-71. IEEE Computer Society, (2013)Modeling, refining and analyzing Incomplete Büchi Automata., , и . CoRR, (2016)