Jove
Visualize
Contact Us
JoVE
x logofacebook logolinkedin logoyoutube logo
ABOUT JoVE
OverviewLeadershipBlogJoVE Help Center
AUTHORS
Publishing ProcessEditorial BoardScope & PoliciesPeer ReviewFAQSubmit
LIBRARIANS
TestimonialsSubscriptionsAccessResourcesLibrary Advisory BoardFAQ
RESEARCH
JoVE JournalMethods CollectionsJoVE Encyclopedia of ExperimentsArchive
EDUCATION
JoVE CoreJoVE BusinessJoVE Science EducationJoVE Lab ManualFaculty Resource CenterFaculty Site
Terms & Conditions of Use
Privacy Policy
Policies

Filters

Murat Cubuktepe

Showing results (1-10 of 4) with videos related to

Pageof 1
Sort By:
Tools and Algorithms for the Construction and Analysis of Systems : 26Th International Conference, TACAS 2020, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30,|August 6, 2020
Scenario-Based Verification of Uncertain MDPsMurat Cubuktepe, Nils Jansen, Sebastian Junges, et al.
FME ... : ... International Symposium of Formal Methods Europe ... Proceedings. International Symposium of Formal Methods Europe|January 24, 2022
Fuel in Markov Decision Processes (FiMDP): A Practical Approach to ConsumptionFrantišek Blahoudek, Murat Cubuktepe, Petr Novotný, et al.
Scientific Reports|March 11, 2022
Multiscale heterogeneous optimal lockdown control for COVID-19 using geographic informationCyrus Neary, Murat Cubuktepe, Niklas Lauffer, et al.
Scientific Reports|May 5, 2022
Author Correction: Multiscale heterogeneous optimal lockdown control for COVID-19 using geographic informationCyrus Neary, Murat Cubuktepe, Niklas Lauffer, et al.
Pageof 1

Showing results (1-10 of 4) with videos related to

Sort By:
Pageof 1
Tools and Algorithms for the Construction and Analysis of Systems : 26Th International Conference, TACAS 2020, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30,|August 6, 2020
Scenario-Based Verification of Uncertain MDPsMurat Cubuktepe, Nils Jansen, Sebastian Junges, et al.
FME ... : ... International Symposium of Formal Methods Europe ... Proceedings. International Symposium of Formal Methods Europe|January 24, 2022
Fuel in Markov Decision Processes (FiMDP): A Practical Approach to ConsumptionFrantišek Blahoudek, Murat Cubuktepe, Petr Novotný, et al.
Scientific Reports|March 11, 2022
Multiscale heterogeneous optimal lockdown control for COVID-19 using geographic informationCyrus Neary, Murat Cubuktepe, Niklas Lauffer, et al.
Scientific Reports|May 5, 2022
Author Correction: Multiscale heterogeneous optimal lockdown control for COVID-19 using geographic informationCyrus Neary, Murat Cubuktepe, Niklas Lauffer, et al.
Pageof 1