( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Probabilistic Hyperproperties with Rewards.

, , , , и . NFM, том 13260 из Lecture Notes in Computer Science, стр. 656-673. Springer, (2022)

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.

Ezio Iacono

Matthias Obanechem Ezioba

 

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

Quantitative Regular Expressions for Arrhythmia Detection., , , , , и . IEEE ACM Trans. Comput. Biol. Bioinform., 16 (5): 1586-1597 (2019)A Survey of Challenges for Runtime Verification from Advanced Application Domains (Beyond Software)., , , , , , , , , и 6 other автор(ы). CoRR, (2018)Flavours of Sequential Information Flow., , , , и . CoRR, (2021)Extending a Hodgkin-Huxley Model for Larval Drosophila Muscle Excitability via Particle Swarm Fitting., , , , и . CMSB, том 11773 из Lecture Notes in Computer Science, стр. 120-139. Springer, (2019)Enacting Proactive Workflows Engine in e-Science., , и . International Conference on Computational Science (3), том 3993 из Lecture Notes in Computer Science, стр. 1012-1015. Springer, (2006)Runtime Verification of Autonomous Driving Systems in CARLA., , и . RV, том 12399 из Lecture Notes in Computer Science, стр. 172-183. Springer, (2020)A Normative Supervisor for Reinforcement Learning Agents., , , и . CADE, том 12699 из Lecture Notes in Computer Science, стр. 565-576. Springer, (2021)Mora - Automatic Generation of Moment-Based Invariants., , и . TACAS (1), том 12078 из Lecture Notes in Computer Science, стр. 492-498. Springer, (2020)TOOLympics 2019: An Overview of Competitions in Formal Methods., , , , , , , , , и 5 other автор(ы). TACAS (3), том 11429 из Lecture Notes in Computer Science, стр. 3-24. Springer, (2019)Model driven design and implementation of activity-based applications in Hermes., , , и . WOA, том 204 из CEUR Workshop Proceedings, CEUR-WS.org, (2006)