Petr Cermák

Publication Activity (10 Years)

Years Active: 2014-2023
Publications (10 Years): 4

Top Topics

Epistemic Logic

Formal Verification

Top Venues

Biomed. Signal Process. Control.

Publications

Jiri Martinu, Jan Novotný, Karel Adámek, Petr Cermák, Jirí Kozel, David Skoloudík
A survey of feature detection methods for localisation of plain sections of axial brain magnetic resonance imaging. Biomed. Signal Process. Control. 82 (2023)
Jiri Martinu, Jan Novotný, Karel Adámek, Petr Cermák, Jirí Kozel, David Skoloudík
A Survey of Feature detection methods for localisation of plain sections of Axial Brain Magnetic Resonance Imaging. CoRR (2023)
Petr Cermák, Alessio Lomuscio, Fabio Mogavero, Aniello Murano
Practical verification of multi-agent systems against Slk specifications. Inf. Comput. 261 (2018)
Petr Cermák, Alessio Lomuscio, Aniello Murano
Verifying and Synthesising Multi-Agent Systems against One-Goal Strategy Logic Specifications. AAAI (2015)
Petr Cermák, Alessio Lomuscio, Fabio Mogavero, Aniello Murano
MCMAS-SLK: A Model Checker for the Verification of Strategy Logic Specifications. CoRR (2014)
Petr Cermák, Alessio Lomuscio, Fabio Mogavero, Aniello Murano
MCMAS-SLK: A Model Checker for the Verification of Strategy Logic Specifications. CAV (2014)