Environment-Independent Task Specifications via GLTL

Michael L. Littman, Ufuk Topcu, Jie Fu +3

Compositional Analysis of Hybrid Systems Defined Over Finite Alphabets

Murat Cubuktepe, Mohamadreza Ahmadi, Ufuk Topcu +1

An Encoder-Decoder Based Approach for Anomaly Detection with Application in Additive Manufacturing

Baihong Jin, Yingshui Tan, Alexander Nettekoven +4

Switched Linear Systems Meet Markov Decision Processes: Stability Guaranteed Policy Synthesis

Bo Wu, Murat Cubuktepe, Ufuk Topcu

Synthesis in pMDPs: A Tale of 1001 Parameters

Murat Cubuktepe, Nils Jansen, Sebastian Junges +2

Value of forecasts in planning under uncertainty: Extended version

Konstantinos Gatsis, Ufuk Topcu, George J. Pappas

On base station localization for state estimation over lossy networks

Ufuk Topcu, Kenneth Hsu, Kameshwar Poolla

An Automaton Learning Approach to Solving Safety Games over Infinite Graphs

Daniel Neider, Ufuk Topcu

Toward Achieving Formal Guarantees for Human-Aware Controllers in Human-Robot Interactions

Rachel Schlossman, Minkyu Kim, Ufuk Topcu +1

Differentially Private Convex Optimization with Piecewise Affine Objectives

Shuo Han, Ufuk Topcu, George J. Pappas

Entropy-Regularized Stochastic Games

Yagiz Savas, Mohamadreza Ahmadi, Takashi Tanaka +1

The paper introduces entropy‑regularized zero‑sum stochastic games, where each player adds a causal‑entropy term to its payoff to hedge against model uncertainty, and provides exis…

Distributed Synthesis Using Accelerated ADMM

Mohamadreza Ahmadi, Murat Cubuktepe, Ufuk Topcu +1

Information-Guided Temporal Logic Inference with Prior Knowledge

Zhe Xu, Melkior Ornik, A. Agung Julius +1

Synthesis of Shared Control Protocols with Provable Safety and Performance Guarantees

Nils Jansen, Murat Cubuktepe, Ufuk Topcu

Graph-Based Controller Synthesis for Safety-Constrained, Resilient Systems

Matija Bucic, Melkior Ornik, Ufuk Topcu

Least Inferable Policies for Markov Decision Processes

Mustafa O. Karabag, Melkior Ornik, Ufuk Topcu

Counterexample-Guided Strategy Improvement for POMDPs Using Recurrent Neural Networks

Steven Carr, Nils Jansen, Ralf Wimmer +3

Strategy Synthesis in POMDPs via Game-Based Abstractions

Leonore Winterer, Sebastian Junges, Ralf Wimmer +4

Graph Temporal Logic Inference for Classification and Identification

Zhe Xu, Alexander J Nettekoven, A. Agung Julius +1

Counter-Strategy Guided Refinement of GR(1) Temporal Logic Specifications

Rajeev Alur, Salar Moarref, Ufuk Topcu

Reward-Based Deception with Cognitive Bias

Bo Wu, Murat Cubuktepe, Suda Bharadwaj +1

Convex Optimal Uncertainty Quantification

Shuo Han, Molei Tao, Ufuk Topcu +2

Synthesis of Provably Correct Autonomy Protocols for Shared Control

Murat Cubuktepe, Nils Jansen, Mohammed Alsiekh +1

Incentive Design for Temporal Logic Objectives

Yagiz Savas, Vijay Gupta, Melkior Ornik +2

Automata Theory Meets Barrier Certificates: Temporal Logic Verification of Nonlinear Systems

Tichakorn Wongpiromsarn, Ufuk Topcu, Andrew Lamperski

Distributed Synthesis of Surveillance Strategies for Mobile Sensors

Suda Bharadwaj, Rayna Dimitrova, Ufuk Topcu

Distributed Charging Control of Electric Vehicles Using Online Learning

Wann-Jiun Ma, Vijay Gupta, Ufuk Topcu

Entropy Maximization for Markov Decision Processes Under Temporal Logic Constraints

Yagiz Savas, Melkior Ornik, Murat Cubuktepe +2

The Partially Observable Games We Play for Cyber Deception

Mohamadreza Ahmadi, Murat Cubuktepe, Nils Jansen +3

Sequential Convex Programming for the Efficient Verification of Parametric MDPs

Murat Cubuktepe, Nils Jansen, Sebastian Junges +4

Randomized Greedy Sensor Selection: Leveraging Weak Submodularity

Abolfazl Hashemi, Mahsa Ghasemi, Haris Vikalo +1

Probabilistic Model Checking for Complex Cognitive Tasks -- A case study in human-robot interaction

Sebastian Junges, Nils Jansen, Joost-Pieter Katoen +1

Training Classifiers For Feedback Control

Hasan A. Poonawala, Niklas Lauffer, Ufuk Topcu

Sensor Synthesis for POMDPs with Reachability Objectives

Krishnendu Chatterjee, Martin Chmelik, Ufuk Topcu

Structured Synthesis for Probabilistic Systems

Nils Jansen, Laura Humphrey, Jana Tumova +1

Affine Multiplexing Networks: System Analysis, Learning, and Computation

Ivan Papusha, Ufuk Topcu, Steven Carr +1

Human-in-the-Loop Synthesis for Partially Observable Markov Decision Processes

Steven Carr, Nils Jansen, Ralf Wimmer +2

Exact Convex Relaxation of Optimal Power Flow in Radial Networks

Lingwen Gan, Na Li, Ufuk Topcu +1

Distributed Load Balancing with Nonconvex Constraints: A Randomized Algorithm with Application to Electric Vehicle Charging Scheduling

Lingwen Gan, Ufuk Topcu, Steven H. Low

Counterexamples for Robotic Planning Explained in Structured Language

Lu Feng, Mahsa Ghasemi, Kai-Wei Chang +1

Controller Synthesis for Safety of Physically-Viable Data-Driven Models

Mohamadreza Ahmadi, Arie Israel, Ufuk Topcu

Submodular Observation Selection and Information Gathering for Quadratic Models

Abolfazl Hashemi, Mahsa Ghasemi, Haris Vikalo +1

Synthesis of Admissible Shields

Laura Humphrey, Bettina Könighofer, Robert Könighofer +1

Safe Reinforcement Learning via Shielding

Mohammed Alshiekh, Roderick Bloem, Ruediger Ehlers +3

Exact Convex Relaxation of Optimal Power Flow in Tree Networks

Lingwen Gan, Na Li, Ufuk Topcu +1

Maximum Realizability for Linear Temporal Logic Specifications

Rayna Dimitrova, Mahsa Ghasemi, Ufuk Topcu