The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Ufuk Topcu" ( http://dblp.L3S.de/Authors/Ufuk_Topcu )

  Author page on DBLP  Author page in RDF  Community of Ufuk Topcu in ASPL-2

Publication years (Num. hits)
2007-2010 (15) 2011-2012 (24) 2013 (17) 2014 (18) 2015 (21) 2016 (26) 2017 (24) 2018 (44) 2019 (17)
Publication types (Num. hits)
article(82) inproceedings(124)
Venues (Conferences, Journals, ...)
CoRR(57) CDC(33) ACC(24) IEEE Trans. Automat. Contr.(11) HSCC(9) ICRA(7) Allerton(6) IJCAI(6) IROS(4) TACAS(4) ATVA(2) Automatica(2) CDC-ECE(2) ICCPS(2) IEEE Trans. Automation Science...(2) NFM(2) More (+10 of total 47)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 1 occurrences of 1 keywords

Results
Found 207 publication records. Showing 206 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Baihong Jin, Yingshui Tan, Alexander J. Nettekoven, Yuxin Chen 0001, Ufuk Topcu, Yisong Yue, Alberto L. Sangiovanni-Vincentelli An Encoder-Decoder Based Approach for Anomaly Detection with Application in Additive Manufacturing. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Mohamadreza Ahmadi, Nils Jansen 0001, Bo Wu 0005, Ufuk Topcu Control Theory Meets POMDPs: A Hybrid Systems Approach. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Murat Cubuktepe, Nils Jansen 0001, Mohammed Alshiekh, Ufuk Topcu Synthesis of Provably Correct Autonomy Protocols for Shared Control. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Laura R. Humphrey, Bettina Könighofer, Robert Könighofer, Ufuk Topcu Synthesis of Admissible Shields. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Min Wen, Osbert Bastani, Ufuk Topcu Fairness with Dynamics. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Suda Bharadwaj, Rayna Dimitrova, Ufuk Topcu Distributed Synthesis of Surveillance Strategies for Mobile Sensors. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Steven Carr, Nils Jansen 0001, Ralf Wimmer, Alexandru Constantin Serban, Bernd Becker 0001, Ufuk Topcu Counterexample-Guided Strategy Improvement for POMDPs Using Recurrent Neural Networks. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Rachel Schlossman, Minkyu Kim, Ufuk Topcu, Luis Sentis Toward Achieving Formal Guarantees for Human-Aware Controllers in Human-Robot Interactions. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Bo Wu 0005, Murat Cubuktepe, Suda Bharadwaj, Ufuk Topcu Reward-Based Deception with Cognitive Bias. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Zhe Xu 0005, Alexander J. Nettekoven, A. Agung Julius, Ufuk Topcu Graph Temporal Logic Inference for Classification and Identification. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Trevor Elliott, Mohammed Alshiekh, Laura R. Humphrey, Lee Pike, Ufuk Topcu Salty-A Domain Specific Language for GR(1) Specifications and Designs. Search on Bibsonomy ICRA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Nils Jansen 0001, Laura R. Humphrey, Jana Tumova, Ufuk Topcu Structured Synthesis for Probabilistic Systems. Search on Bibsonomy NFM The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Suda Bharadwaj, Steven Carr, Natasha Neogi, Hasan Poonawala, Alejandro Barberia Chueca, Ufuk Topcu Traffic Management for Urban Air Mobility. Search on Bibsonomy NFM The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Abolfazl Hashemi, Mahsa Ghasemi, Haris Vikalo, Ufuk Topcu Submodular Observation Selection and Information Gathering for Quadratic Models. Search on Bibsonomy ICML The full citation details ... 2019 DBLP  BibTeX  RDF
1Zhe Xu 0005, Ufuk Topcu Transfer of Temporal Logic Formulas in Reinforcement Learning. Search on Bibsonomy IJCAI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Mahsa Ghasemi, Ufuk Topcu Perception-Aware Point-Based Value Iteration for Partially Observable Markov Decision Processes. Search on Bibsonomy IJCAI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Steven Carr, Nils Jansen 0001, Ralf Wimmer, Alexandru Constantin Serban, Bernd Becker 0001, Ufuk Topcu Counterexample-Guided Strategy Improvement for POMDPs Using Recurrent Neural Networks. Search on Bibsonomy IJCAI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Rajeev Alur, Salar Moarref, Ufuk Topcu Compositional and symbolic synthesis of reactive controllers for multi-agent systems. Search on Bibsonomy Inf. Comput. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Mohamadreza Ahmadi, Bo Wu 0005, Hai Lin 0002, Ufuk Topcu Privacy Verification in POMDPs via Barrier Certificates. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Murat Cubuktepe, Ufuk Topcu Verification of Markov Decision Processes with Risk-Sensitive Measures. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Dantong Ge, Melkior Ornik, Ufuk Topcu Robust Myopic Control for Systems with Imperfect Observations. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Steven Carr, Nils Jansen 0001, Ralf Wimmer, Jie Fu, Ufuk Topcu Human-in-the-Loop Synthesis for Partially Observable Markov Decision Processes. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Bo Wu 0005, Mohamadreza Ahmadi, Suda Bharadwaj, Ufuk Topcu Cost-Bounded Active Classification Using Partially Observable Markov Decision Processes. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Zhe Xu 0005, Melkior Ornik, A. Agung Julius, Ufuk Topcu Information-Guided Temporal Logic Inference with Prior Knowledge. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Nils Jansen 0001, Laura R. Humphrey, Jana Tumova, Ufuk Topcu Structured Synthesis for Probabilistic Systems. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Yagiz Savas, Melkior Ornik, Murat Cubuktepe, Ufuk Topcu Entropy Maximization for Markov Decision Processes Under Temporal Logic Constraints. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Mohamadreza Ahmadi, Murat Cubuktepe, Nils Jansen 0001, Ufuk Topcu Verification of Uncertain POMDPs Using Barrier Certificates. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Melkior Ornik, Ufuk Topcu Deception in Optimal Control. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Rayna Dimitrova, Mahsa Ghasemi, Ufuk Topcu Maximum Realizability for Linear Temporal Logic Specifications. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Mohamadreza Ahmadi, Bo Wu 0005, Yuxin Chen 0001, Yisong Yue, Ufuk Topcu Barrier Certificates for Assured Machine Teaching. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Ye Zhao, Yinan Li, Luis Sentis, Ufuk Topcu, Jun Liu 0015 Reactive Task and Motion Planning for Robust Whole-Body Dynamic Locomotion in Constrained Environments. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Suda Bharadwaj, Mohamadreza Ahmadi, Takashi Tanaka, Ufuk Topcu Transfer Entropy in MDPs with Temporal Logic Specifications. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Lu Feng 0001, Mahsa Ghasemi, Kai-Wei Chang, Ufuk Topcu Counterexamples for Robotic Planning Explained in Structured Language. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Mohamadreza Ahmadi, Murat Cubuktepe, Nils Jansen 0001, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu The Partially Observable Games We Play for Cyber Deception. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Lu Feng 0001, Mahsa Ghasemi, Kai-Wei Chang, Ufuk Topcu Counterexamples for Robotic Planning Explained in Structured Language. Search on Bibsonomy ICRA The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Rayna Dimitrova, Mahsa Ghasemi, Ufuk Topcu Maximum Realizability for Linear Temporal Logic Specifications. Search on Bibsonomy ATVA The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Murat Cubuktepe, Nils Jansen 0001, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu Synthesis in pMDPs: A Tale of 1001 Parameters. Search on Bibsonomy ATVA The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Krishnendu Chatterjee, Martin Chmelik, Ufuk Topcu Sensor Synthesis for POMDPs with Reachability Objectives. Search on Bibsonomy ICAPS The full citation details ... 2018 DBLP  BibTeX  RDF
1Mohammed Alshiekh, Roderick Bloem, Rüdiger Ehlers, Bettina Könighofer, Scott Niekum, Ufuk Topcu Safe Reinforcement Learning via Shielding. Search on Bibsonomy AAAI The full citation details ... 2018 DBLP  BibTeX  RDF
1Leonore Winterer, Sebastian Junges, Ralf Wimmer, Nils Jansen 0001, Ufuk Topcu, Joost-Pieter Katoen, Bernd Becker 0001 Abstraktions-basierte Verifikation von POMDPs im Motion-Planning-Kontext. Search on Bibsonomy MBMV The full citation details ... 2018 DBLP  BibTeX  RDF
1Suda Bharadwaj, Mohamadreza Ahmadi, Takashi Tanaka, Ufuk Topcu Transfer Entropy in MDPs with Temporal Logic Specifications. Search on Bibsonomy CDC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Mohamadreza Ahmadi, Bo Wu 0005, Hai Lin 0002, Ufuk Topcu Privacy Verification in POMDPs via Barrier Certificates. Search on Bibsonomy CDC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Suda Bharadwaj, Rayna Dimitrova, Ufuk Topcu Distributed Synthesis of Surveillance Strategies for Mobile Sensors. Search on Bibsonomy CDC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Suda Bharadwaj, Rayna Dimitrova, Ufuk Topcu Synthesis of Surveillance Strategies via Belief Abstraction. Search on Bibsonomy CDC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Melkior Ornik, Jie Fu, Niklas T. Lauffer, W. K. Perera, Mohammed Alshiekh, Masahiro Ono, Ufuk Topcu Expedited Learning in MDPs with Side Information. Search on Bibsonomy CDC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Yagiz Savas, Melkior Ornik, Murat Cubuktepe, Ufuk Topcu Entropy Maximization for Constrained Markov Decision Processes. Search on Bibsonomy Allerton The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Melkior Ornik, Ufuk Topcu Deception in Optimal Control. Search on Bibsonomy Allerton The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Matija Bucic, Melkior Ornik, Ufuk Topcu Graph-Based Controller Synthesis for Safety-Constrained, Resilient Systems. Search on Bibsonomy Allerton The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Mohamadreza Ahmadi, Murat Cubuktepe, Nils Jansen 0001, Ufuk Topcu Verification of Uncertain POMDPs Using Barrier Certificates. Search on Bibsonomy Allerton The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Mohamadreza Ahmadi, Suda Bharadwaj, Takashi Tanaka, Ufuk Topcu Stochastic Games with Sensing Costs. Search on Bibsonomy Allerton The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Mohamadreza Ahmadi, Murat Cubuktepe, Ufuk Topcu, Takashi Tanaka Distributed Synthesis Using Accelerated ADMM. Search on Bibsonomy ACC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1John F. Quindlen, Ufuk Topcu, Girish Chowdhary, Jonathan P. How Active Sampling for Closed-Loop Statistical Verification of Uncertain Nonlinear Systems. Search on Bibsonomy ACC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Abolfazl Hashemi, Mahsa Ghasemi, Haris Vikalo, Ufuk Topcu A Randomized Greedy Algorithm for Near-Optimal Sensor Scheduling in Large-Scale Sensor Networks. Search on Bibsonomy ACC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1John F. Quindlen, Ufuk Topcu, Girish Chowdhary, Jonathan P. How Closed-Loop Statistical Verification of Stochastic Nonlinear Systems Subject to Parametric Uncertainties. Search on Bibsonomy ACC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Murat Cubuktepe, Ufuk Topcu Verification of Markov Decision Processes with Risk-Sensitive Measures. Search on Bibsonomy ACC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Steven Carr, Nils Jansen 0001, Ralf Wimmer, Jie Fu, Ufuk Topcu Human-in-the-Loop Synthesis for Partially Observable Markov Decision Processes. Search on Bibsonomy ACC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Mohamadreza Ahmadi, Ufuk Topcu, Clarence W. Rowley Control-Oriented Learning of Lagrangian and Hamiltonian Systems. Search on Bibsonomy ACC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ivan Papusha, Min Wen, Ufuk Topcu Inverse Optimal Control with Regular Language Specifications. Search on Bibsonomy ACC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Min Wen, Ufuk Topcu Constrained Cross-Entropy Method for Safe Reinforcement Learning. Search on Bibsonomy NeurIPS The full citation details ... 2018 DBLP  BibTeX  RDF
1Sebastian Junges, Nils Jansen 0001, Joost-Pieter Katoen, Ufuk Topcu, Ruohan Zhang, Mary M. Hayhoe Model Checking for Safe Navigation Among Humans. Search on Bibsonomy QEST The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Murat Cubuktepe, Mohamadreza Ahmadi, Ufuk Topcu, Brandon Hencey Compositional Analysis of Hybrid Systems Defined Over Finite Alphabets. Search on Bibsonomy ADHS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Bettina Könighofer, Mohammed Alshiekh, Roderick Bloem, Laura R. Humphrey, Robert Könighofer, Ufuk Topcu, Chao Wang Shield synthesis. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Wann-Jiun Ma, Vijay Gupta, Ufuk Topcu Distributed Charging Control of Electric Vehicles Using Online Learning. Search on Bibsonomy IEEE Trans. Automat. Contr. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Shuo Han, Ufuk Topcu, George J. Pappas Differentially Private Distributed Constrained Optimization. Search on Bibsonomy IEEE Trans. Automat. Contr. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1John F. Quindlen, Ufuk Topcu, Girish Chowdhary, Jonathan P. How Active Sampling-based Binary Verification of Dynamical Systems. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Leonore Winterer, Sebastian Junges, Ralf Wimmer, Nils Jansen 0001, Ufuk Topcu, Joost-Pieter Katoen, Bernd Becker 0001 Motion Planning under Partial Observability using Game-Based Abstraction. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Mohammed Alshiekh, Roderick Bloem, Rüdiger Ehlers, Bettina Könighofer, Scott Niekum, Ufuk Topcu Safe Reinforcement Learning via Shielding. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Abolfazl Hashemi, Mahsa Ghasemi, Haris Vikalo, Ufuk Topcu A Randomized Greedy Algorithm for Near-Optimal Sensor Scheduling in Large-Scale Sensor Networks. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1John F. Quindlen, Ufuk Topcu, Girish Chowdhary, Jonathan P. How Active Sampling for Constrained Simulation-based Verification of Uncertain Nonlinear Systems. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Michael L. Littman, Ufuk Topcu, Jie Fu, Charles Lee Isbell Jr., Min Wen, James MacGlashan Environment-Independent Task Specifications via GLTL. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Suda Bharadwaj, Rayna Dimitrova, Ufuk Topcu Synthesis of surveillance strategies via belief abstraction. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Krishnendu Chatterjee, Martin Chmelik, Ufuk Topcu Sensor Synthesis for POMDPs with Reachability Objectives. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Melkior Ornik, Arie Israel, Ufuk Topcu Control-Oriented Learning on the Fly. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Murat Cubuktepe, Nils Jansen 0001, Sebastian Junges, Joost-Pieter Katoen, Ivan Papusha, Hasan A. Poonawala, Ufuk Topcu Sequential Convex Programming for the Efficient Verification of Parametric MDPs. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1John F. Quindlen, Ufuk Topcu, Girish Chowdhary, Jonathan P. How Closed-Loop Statistical Verification of Stochastic Nonlinear Systems Subject to Parametric Uncertainties. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Murat Cubuktepe, Nils Jansen 0001, Sebastian Junges, Joost-Pieter Katoen, Ivan Papusha, Hasan A. Poonawala, Ufuk Topcu Sequential Convex Programming for the Efficient Verification of Parametric MDPs. Search on Bibsonomy TACAS (2) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jie Fu, Ivan Papusha, Ufuk Topcu Sampling-based Approximate Optimal Control Under Temporal Logic Constraints. Search on Bibsonomy HSCC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Mohamadreza Ahmadi, Arie Israel, Ufuk Topcu Safety assessemt based on physically-viable data-driven models. Search on Bibsonomy CDC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Hasan A. Poonawala, Ufuk Topcu Robustness of classifier-in-the-loop control systems: A hybrid-systems approach. Search on Bibsonomy CDC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Leonore Winterer, Sebastian Junges, Ralf Wimmer, Nils Jansen 0001, Ufuk Topcu, Joost-Pieter Katoen, Bernd Becker 0001 Motion planning under partial observability using game-based abstraction. Search on Bibsonomy CDC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Nils Jansen 0001, Murat Cubuktepe, Ufuk Topcu Synthesis of shared control protocols with provable safety and performance guarantees. Search on Bibsonomy ACC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Shuo Han, Ufuk Topcu, George J. Pappas Quantification on the efficiency gain of automated ridesharing services. Search on Bibsonomy ACC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Hasan A. Poonawala, Mohammed Alshiekh, Scott Niekum, Ufuk Topcu Classification error correction: A case study in brain-computer interfacing. Search on Bibsonomy IROS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Min Wen, Ivan Papusha, Ufuk Topcu Learning from Demonstrations with High-Level Side Information. Search on Bibsonomy IJCAI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Suda Bharadwaj, Stéphane Le Roux 0001, Guillermo A. Pérez, Ufuk Topcu Reduction Techniques for Model Checking and Learning in MDPs. Search on Bibsonomy IJCAI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Erkut Aykutlug, Ufuk Topcu, Kenneth D. Mease Manifold-Following Approximate Solution of Completely Hypersensitive Optimal Control Problems. Search on Bibsonomy J. Optimization Theory and Applications The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Tichakorn Wongpiromsarn, Ufuk Topcu, Andrew G. Lamperski Automata Theory Meets Barrier Certificates: Temporal Logic Verification of Nonlinear Systems. Search on Bibsonomy IEEE Trans. Automat. Contr. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Jie Fu, Ufuk Topcu Synthesis of Joint Control and Active Sensing Strategies Under Temporal Logic Constraints. Search on Bibsonomy IEEE Trans. Automat. Contr. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Nils Jansen 0001, Murat Cubuktepe, Ufuk Topcu Synthesis of Shared Control Protocols with Provable Safety and Performance Guarantees. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Rüdiger Ehlers, Salar Moarref, Ufuk Topcu Risk-Averse ω-regular Markov Decision Process Control. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Daniel Neider, Ufuk Topcu An Automaton Learning Approach to Solving Safety Games over Infinite Graphs. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Sebastian Junges, Nils Jansen 0001, Joost-Pieter Katoen, Ufuk Topcu Probabilistic Model Checking for Complex Cognitive Tasks - A case study in human-robot interaction. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Lu Feng 0001, Clemens Wiltsche, Laura R. Humphrey, Ufuk Topcu Synthesis of Human-in-the-Loop Control Protocols for Autonomous Systems. Search on Bibsonomy IEEE Trans. Automation Science and Engineering The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Jie Fu, Ufuk Topcu Synthesis of Shared Autonomy Policies With Temporal Logic Specifications. Search on Bibsonomy IEEE Trans. Automation Science and Engineering The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Jie Fu, Nikolay Atanasov, Ufuk Topcu, George J. Pappas Optimal temporal logic planning in probabilistic semantic maps. Search on Bibsonomy ICRA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Sebastian Junges, Nils Jansen 0001, Joost-Pieter Katoen, Ufuk Topcu Probabilistic Verification for Cognitive Models. Search on Bibsonomy AAAI Fall Symposia The full citation details ... 2016 DBLP  BibTeX  RDF
1Sebastian Junges, Nils Jansen 0001, Christian Dehnert, Ufuk Topcu, Joost-Pieter Katoen Safety-Constrained Reinforcement Learning for MDPs. Search on Bibsonomy TACAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Daniel Neider, Ufuk Topcu An Automaton Learning Approach to Solving Safety Games over Infinite Graphs. Search on Bibsonomy TACAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Rajeev Alur, Salar Moarref, Ufuk Topcu Compositional Synthesis of Reactive Controllers for Multi-agent Systems. Search on Bibsonomy CAV (2) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Rajeev Alur, Salar Moarref, Ufuk Topcu Compositional Synthesis with Parametric Reactive Controllers. Search on Bibsonomy HSCC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 206 (100 per page; Change: )
Pages: [1][2][3][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license