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

Ufuk Topcu

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

Pageof 2
Sort By:
Journal of Machine Learning Research : JMLR|January 10, 2022
Learning and Planning for Time-Varying MDPs Using Maximum Likelihood EstimationMelkior Ornik, Ufuk Topcu
IJCAI : Proceedings of the Conference|October 22, 2019
Transfer of Temporal Logic Formulas in Reinforcement LearningZhe Xu, Ufuk Topcu
Plos One|March 5, 2021
Control strategies for COVID-19 epidemic with vaccination, shield immunity and quarantine: A metric temporal logic approachZhe Xu, Bo Wu, Ufuk Topcu
IEEE International Conference on Robotics and Automation : ICRA : [Proceedings]. IEEE International Conference on Robotics and Automation|October 30, 2020
Near-Optimal Reactive Synthesis Incorporating Runtime InformationSuda Bharadwaj, Abraham P Vinod, Rayna Dimitrova, et al.
Proceedings of the ... American Control Conference. American Control Conference|February 6, 2020
Synthesis of Minimum-Cost Shields for Multi-agent SystemsSuda Bharadwaj, Roderik Bloem, Rayna Dimitrova, et al.
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.
Formal Methods in System Design|February 4, 2020
Shield synthesisBettina Könighofer, Mohammed Alshiekh, Roderick Bloem, et al.
Science Advances|June 18, 2025
How media competition fuels the spread of misinformationArash Amini, Yigit Ege Bayiz, Eun-Ju Lee, et al.
PNAS Nexus|May 21, 2025
Neurosymbolic AI as an antithesis to scaling lawsAlvaro Velasquez, Neel Bhatt, Ufuk Topcu, et al.
Pageof 2

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

Sort By:
Pageof 2
Journal of Machine Learning Research : JMLR|January 10, 2022
Learning and Planning for Time-Varying MDPs Using Maximum Likelihood EstimationMelkior Ornik, Ufuk Topcu
IJCAI : Proceedings of the Conference|October 22, 2019
Transfer of Temporal Logic Formulas in Reinforcement LearningZhe Xu, Ufuk Topcu
Plos One|March 5, 2021
Control strategies for COVID-19 epidemic with vaccination, shield immunity and quarantine: A metric temporal logic approachZhe Xu, Bo Wu, Ufuk Topcu
IEEE International Conference on Robotics and Automation : ICRA : [Proceedings]. IEEE International Conference on Robotics and Automation|October 30, 2020
Near-Optimal Reactive Synthesis Incorporating Runtime InformationSuda Bharadwaj, Abraham P Vinod, Rayna Dimitrova, et al.
Proceedings of the ... American Control Conference. American Control Conference|February 6, 2020
Synthesis of Minimum-Cost Shields for Multi-agent SystemsSuda Bharadwaj, Roderik Bloem, Rayna Dimitrova, et al.
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.
Formal Methods in System Design|February 4, 2020
Shield synthesisBettina Könighofer, Mohammed Alshiekh, Roderick Bloem, et al.
Science Advances|June 18, 2025
How media competition fuels the spread of misinformationArash Amini, Yigit Ege Bayiz, Eun-Ju Lee, et al.
PNAS Nexus|May 21, 2025
Neurosymbolic AI as an antithesis to scaling lawsAlvaro Velasquez, Neel Bhatt, Ufuk Topcu, et al.
Pageof 2