Maria Svorenova
Maria Svorenova | Department of Computer Science
Maria Svorenova at the Department of Computer Science.
Maria Svorenova - Google Scholar
Maria Svorenova. University of Oxford. Verified email at cs.ox.ac.uk. Formal methods in controlformal verificationgame theorytemporal logics ...
Maria Svorenova | IEEE Xplore Author Details
Mária Svoreňová (S'14) received the B.S. and M.Sc. degrees in discrete mathematics and algebra and the B.S. degree in computer science from Masaryk University, ...
Maria SVORENOVA | Masaryk University, Brno | Research profile
Maria SVORENOVA | Cited by 129 | of Masaryk University, Brno (MUNI) | Read 9 publications | Contact Maria SVORENOVA.
Jsem Maria a podporuji ženy na jejich cestě sebevyjádření, osobní ... © 2024 Mária Svoreňová | Zdráhalova 957/36, 613 00 Brno | IČO: 17301971 ...
Maria Svorenova updated her profile picture. Feb 17, 2017. . Maria Vyskocova and 3 others. 4. . . Maria Svorenova profile picture.
12 Followers, 25 Following, 0 Posts - maria svorenova (@svorenovam) on Instagram: ""
MARIA SVARBOVA. Artworks · Commissioned · Exhibitions · Press · Books · About · Contact.
Maria Svorenova (majasvorenova) - Profile - Pinterest
See what Maria Svorenova (majasvorenova) has discovered on Pinterest, the world's biggest collection of ideas.
Maria Svorenova is on Facebook. Join Facebook to connect with Maria Svorenova and others you may know. Facebook gives people the power to share and makes...
[1303.1942] Optimal Control of MDPs with Temporal Logic Constraints
Maria Svorenova · María Svorenová · Ivana Cerna · Calin Belta · a export BibTeX citation Loading... BibTeX formatted citation. ×. loading...
1 Followers, 2 Following, 1 Posts - Mária Svoreňová (@m.svorenova) on Instagram: ""
Svorenova Maria - Legal Adviser - Trade Unions Confederation
View Svorenova Maria's profile on LinkedIn, a professional community of 1 billion members ... Svorenova Maria. Legal Adviser at Trade Unions Confederation. Trade ...
[1410.5387] Temporal Logic Control for Stochastic Linear Systems ...
Authors:Maria Svorenova, Jan Kretinsky, Martin Chmelik, Krishnendu ... Maria Svorenova · María Svorenová · Jan Kretínský · Martin Chmelik
Optimal Control of MDPs with Temporal Logic Constraints
... Maria Svorenova · Ivana Cerna · Calin Belta. In this paper, we develop a provably correct optimal control strategy for a ...
Quantitative Verification and Strategy Synthesis for Stochastic Games
[SK16] Maria Svorenova and Marta Kwiatkowska. Quantitative Verification and Strategy Synthesis for Stochastic Games. European Journal of Control, 30, pages ...
NSF Award Search: Award # 1400167 - Combining Optimality and ...
Maria Svorenova, Ivana Cerna, and Calin Belta "Optimal Temporal Logic Control for Deterministic Transition Systems with Probabilistic ...
Morality and Social Trust in Autonomous Robots - CFP
Maria Svorenova, University of Oxford. https://www.cs.ox.ac.uk/people/maria.svorenova/. Nisar R. Ahmed, University of Colorado Boulder. https://cohrint.info.
The efficiency comparison of the prism and storm probabilistic model ...
Maria Svorenova and Marta Kwiatkowska. Quantitative Verification and Strategy Synthesis for Stochastic Games. European Journal of Control, Elsevier, 2016. A ...
Attraction-Based Receding Horizon Path Planning with Temporal ...
Maria Svorenova, Jana Tumova, Jiri Barnat, Ivana Cerna. Figures and Tables: Figure 1 for Attraction-Based Receding Horizon Path Planning with Temporal Logic ...