Jana Tumova and University - Free people check

(1 - 14 from 15

)

Jana TUMOVA | Masaryk University, Brno | MUNI | Faculty of ...

www.researchgate.net

Jana Tumova Iolanda Leite Reinforcement learning has shown great potential for learning sequential decision-making tasks. Yet, it is difficult to anticipate all possible real-world scenarios...

MUDr. Jana Tůmová | Faculty of Medicine Masaryk University

www.med.muni.cz

› employees

PLOS ONE: 8-oxoguanine DNA glycosylase (OGG1) deficiency elicits...

journals.plos.org

Investigation. Affiliation From the Oregon Institute of Occupational Health Sciences, Oregon Health & Science University, Portland, Oregon, United States of America. Jana Tumova. Contributed equally to this work with: Vladimir ...

books.google.com › booksFormal Methods for Discrete-Time Dynamical Systems

books.google.de

Jana Tumova, Ivana Cerna, and Jiri Barnat from Masaryk University contributed to the results presented in Chap. 9. Mircea Lazar from the Technical University of ...

Least-violating control strategy synthesis with safety rules

dl.acm.org

by J Tumova · · Cited by 97 — Least-violating control strategy synthesis with safety rules. Authors: Jana Tumova. Masaryk University, Brno, Czech Rep. Masaryk University, Brno, Czech Rep. › doi

All web results to the name "Jana Tumova"

Point-Based Methods for Model Checking in Partially ...

ojs.aaai.org

by M Bouton · · Cited by 16 — Point-Based Methods for Model Checking in Partially Observable Markov Decision Processes. Authors. Maxime Bouton Stanford University; Jana Tumova KTH Royal ... › index.php › AAAI › article › view

‪Jiří Barnat‬ - ‪Google Scholar‬

scholar.google.fr

‪Masaryk University, Faculty of Informatics‬ - ‪‪Cited by ‬‬ - ‪Metamorphic Robots‬ - ‪Parallel Verification‬ - ‪Model Checking‬ - ‪Algorithm Engineering‬

Department of Computer Science, University of Oxford: Control...

www.cs.ox.ac.uk

Control Strategy Synthesis under Infeasible Goals: a Maximally-Satisfying Approach

ArtistDesign NoE - Quantitative Model Checking 2010

www.artist-embedded.org

Jana Tumova Masaryk University Brno Czechia Jesper Pedersen Notander Lund University Sweden Jonas van Vliet Aalborg University Denmark Jörg Brauer ...

HSCC :: Committees

www.cs.ox.ac.uk

Ashuthosh Trivedi, IIT Bombay, India Jana Tumova, KTH, Sweden Verena Wolf, Saarland University, Germany Majid Zamani, Technical University of Munich, ...

Hybrid Control Systems: Workshop

webarchiv.typo3.tum.de

... Necmiye Ozay, Assistant Professor, University of Michigan, Ann Arbor; Jana Tumova, Postdoctoral Researcher, KTH Royal Institute of Technology; Arjan van ...

EAPLS: CFP: HSB Hybrid Systems Biology

eapls.org

Jana Tumova, Royal Institute of Technology, Sweden. * S.A. Wahl, Delft University of Technology, The Netherlands. * Verena Wolf, Saarland ...

HSCC :: Committees

hscc2017.ece.illinois.edu

... Pennsylvania Herbert Tanner, University of Delaware Ashish Tiwari, SRI Ufuk Topcu, University of Texas at Austin Jana Tumova, Royal Institute of Technology

m TECHNISCHE UNIVERSITÄT WIEN Vienna University of ...

is.muni.cz

Recent technological developments however, have triggered a fascinating drive towards the harmonization of these disciplines and Jana Tumova's work is an ...

Related search requests for Jana Tumova

Stavros Tripakis
Jiri Barnat
Verena Wolf

Nils Jansen
Emilio Frazzoli
Jana Horáčková

People
Forename "Jana" (14959)
Name "Tumova" (19)

sorted by relevance / date

Advanced Search

Search name: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Jana Tumova and University Free People Check