Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Mateja Novak
Analytical Performance Verification of FCS-MPC Applied to Power Electronic Converters: A Model Checking Approach
Related publications
A Bounded Model Checking Approach for the Verification of Web Services Composition
International Journal of Web Services Research
Computer Networks
Software
Information Systems
Communications
Verification, Model Checking and Abstract Interpretation
Verification, Model Checking, and Abstract Interpretation
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Verification, Model Checking, and Abstract Interpretation
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Bayesian Approach to Model Checking Biological Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Verification of Interlocking Systems Using Statistical Model Checking
Formal Verification of a Group Membership Protocol Using Model Checking
Thermal-Based Finite Control Set Model Predictive Control for IGBT Power Electronic Converters
Decentralised MPC Based on a Graph Partitioning Approach Applied to the Barcelona Drinking Water Network*
IFAC Proceedings Volumes
