| Publication | Date of Publication | Type |
|---|
| On-the-fly, data-driven reachability analysis and control of unknown systems | 2024-02-21 | Paper |
| Identity concealment games: how I learned to stop revealing and love the coincidences | 2024-02-20 | Paper |
| Efficient Strategy Synthesis for MDPs With Resource Constraints | 2023-10-06 | Paper |
| On-the-Fly Control of Unknown Systems: From Side Information to Performance Guarantees Through Reachability | 2023-10-06 | Paper |
| Exploiting Partial Observability for Optimal Deception | 2023-10-02 | Paper |
| On-the-Fly Control of Unknown Nonlinear Systems With Sublinear Regret | 2023-09-29 | Paper |
| Alpha-Fair Routing in Urban Air Mobility with Risk-Aware Constraints | 2023-09-29 | Paper |
| Expedited Online Learning With Spatial Side Information | 2023-09-28 | Paper |
| Convex Optimization for Parameter Synthesis in MDPs | 2023-09-26 | Paper |
| Entropy Maximization for Partially Observable Markov Decision Processes | 2023-09-26 | Paper |
| Probabilistic Control of Heterogeneous Swarms Subject to Graph Temporal Logic Specifications: A Decentralized and Scalable Approach | 2023-09-26 | Paper |
| On the Complexity of Sequential Incentive Design | 2023-09-25 | Paper |
| Probably Approximately Correct Learning in Adversarial Environments With Temporal Logic Specifications | 2023-09-24 | Paper |
| Policy Synthesis for Switched Linear Systems With Markov Decision Process Switching | 2023-09-04 | Paper |
| Simultaneous perception-action design via invariant finite belief sets | 2023-07-31 | Paper |
| Synthesis in pMDPs: a tale of 1001 parameters | 2023-07-28 | Paper |
| Maximum realizability for linear temporal logic specifications | 2023-07-28 | Paper |
| Reactive synthesis for relay-explorer consensus with intermittent communication | 2023-07-24 | Paper |
| Model Checking for Safe Navigation Among Humans | 2023-06-28 | Paper |
| Task-guided IRL in POMDPs that scales | 2023-06-19 | Paper |
| Reachability games for optimal multi-agent scheduling of tasks with variable durations | 2023-03-21 | Paper |
| Generalization bounds for sparse random feature expansions | 2022-12-08 | Paper |
| Scenario-Based Verification of Uncertain MDPs | 2022-10-13 | Paper |
| Categorical semantics of compositional reinforcement learning | 2022-08-29 | Paper |
| Byzantine-Resilient Distributed Hypothesis Testing With Time-Varying Network Topology | 2022-07-28 | Paper |
| Proportional-integral projected gradient method for conic optimization | 2022-07-05 | Paper |
| Learning linear temporal properties from noisy data: a MaxSAT-based approach | 2022-06-22 | Paper |
| On-the-fly control of unknown nonlinear systems with sublinear regret | 2022-06-22 | Paper |
| Constrained, Global Optimization of Unknown Functions with Lipschitz Continuous Gradients | 2022-06-17 | Paper |
| Vertiport Selection in Hybrid Air-Ground Transportation Networks via Mathematical Programs with Equilibrium Constraints | 2022-03-10 | Paper |
| Extrapolated Proportional-Integral Projected Gradient Method for Conic Optimization | 2022-03-08 | Paper |
| Control Theory Meets POMDPs: A Hybrid Systems Approach | 2022-02-24 | Paper |
| Deception in Supervisory Control | 2022-02-24 | Paper |
| Task-Aware Verifiable RNN-Based Policies for Partially Observable Markov Decision Processes | 2022-02-07 | Paper |
| Constrained Cross-Entropy Method for Safe Reinforcement Learning | 2021-07-26 | Paper |
| Synthesis of Provably Correct Autonomy Protocols for Shared Control | 2021-07-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4998915 | 2021-07-09 | Paper |
| Strategy Synthesis for POMDPs in Robot Planning via Game-Based Abstractions | 2021-05-28 | Paper |
| Training classifiers for feedback control with safety in mind | 2021-04-26 | Paper |
| On Minimizing Total Discounted Cost in MDPs Subject to Reachability Constraints | 2021-03-16 | Paper |
| Control-Oriented Learning on the Fly | 2021-03-12 | Paper |
| Safe Controller Synthesis for Data-Driven Differential Inclusions | 2021-03-12 | Paper |
| Randomized Greedy Sensor Selection: Leveraging Weak Submodularity | 2021-03-12 | Paper |
| Smooth Convex Optimization using Sub-Zeroth-Order Oracles | 2021-02-28 | Paper |
| Qualitative controller synthesis for consumption Markov decision processes | 2021-02-09 | Paper |
| Entropy Maximization for Markov Decision Processes Under Temporal Logic Constraints | 2020-10-07 | Paper |
| Characterizing two-timescale nonlinear dynamics using finite-time Lyapunov exponents and subspaces | 2020-09-15 | Paper |
| Sequential Convex Programming for the Efficient Verification of Parametric MDPs | 2020-08-05 | Paper |
| Reactive synthesis with maximum realizability of linear temporal logic specifications | 2020-03-06 | Paper |
| Robust Policy Synthesis for Uncertain POMDPs via Convex Optimization | 2020-01-22 | Paper |
| Learning and Planning for Time-Varying MDPs Using Maximum Likelihood Estimation | 2019-11-29 | Paper |
| An automaton learning approach to solving safety games over infinite graphs | 2019-09-17 | Paper |
| Strategy Synthesis for Stochastic Games with Multiple Long-Run Objectives | 2019-09-17 | Paper |
| Pattern-Based Refinement of Assume-Guarantee Specifications in Reactive Synthesis | 2019-09-17 | Paper |
| Entropy-Regularized Stochastic Games | 2019-07-26 | Paper |
| Compositional Synthesis of Reactive Controllers for Multi-agent Systems | 2019-05-03 | Paper |
| Switched Linear Systems Meet Markov Decision Processes: Stability Guaranteed Policy Synthesis | 2019-04-25 | Paper |
| Unpredictable Planning Under Partial Observability | 2019-03-18 | Paper |
| Incentive Design for Temporal Logic Objectives | 2019-03-18 | Paper |
| Training Classifiers For Feedback Control | 2019-03-08 | Paper |
| Least Inferable Policies for Markov Decision Processes | 2018-09-17 | Paper |
| Graph-Based Controller Synthesis for Safety-Constrained, Resilient Systems | 2018-08-13 | Paper |
| Distributed Charging Control of Electric Vehicles Using Online Learning | 2018-06-27 | Paper |
| Compositional and symbolic synthesis of reactive controllers for multi-agent systems | 2018-06-14 | Paper |
| Affine Multiplexing Networks: System Analysis, Learning, and Computation | 2018-04-30 | Paper |
| Compositional Analysis of Hybrid Systems Defined Over Finite Alphabets | 2018-03-01 | Paper |
| Distributed Synthesis Using Accelerated ADMM | 2018-02-28 | Paper |
| Shield synthesis | 2018-02-14 | Paper |
| Controller Synthesis for Safety of Physically-Viable Data-Driven Models | 2018-01-12 | Paper |
| Specification and Synthesis of Reactive Protocols for Aircraft Electric Power Distribution | 2017-09-21 | Paper |
| Receding Horizon Temporal Logic Planning | 2017-09-08 | Paper |
| Synthesis of Reactive Switching Protocols From Temporal Logic Specifications | 2017-09-08 | Paper |
| Robust Region-of-Attraction Estimation | 2017-08-25 | Paper |
| Local Stability Analysis for Uncertain Nonlinear Systems | 2017-08-08 | Paper |
| Parameter-Dependent Lyapunov Functions for Linear Systems With Constant Uncertainties | 2017-08-08 | Paper |
| Sampling-based Approximate Optimal Control Under Temporal Logic Constraints | 2017-07-11 | Paper |
| Estimator-based reactive synthesis under incomplete information | 2017-05-19 | Paper |
| Case Studies in Data-Driven Verification of Dynamical Systems | 2017-05-19 | Paper |
| Compositional Synthesis with Parametric Reactive Controllers | 2017-05-19 | Paper |
| Exact Convex Relaxation of Optimal Power Flow in Radial Networks | 2017-05-16 | Paper |
| Design and Stability of Load-Side Primary Frequency Control in Power Systems | 2017-05-16 | Paper |
| On synthesizing robust discrete controllers under modeling uncertainty | 2017-05-16 | Paper |
| Resilience to intermittent assumption violations in reactive synthesis | 2017-05-16 | Paper |
| Receding horizon control for temporal logic specifications | 2017-05-10 | Paper |
| Differentially Private Distributed Constrained Optimization | 2017-05-03 | Paper |
| Automata Theory Meets Barrier Certificates: Temporal Logic Verification of Nonlinear Systems | 2017-05-03 | Paper |
| Synthesis of Joint Control and Active Sensing Strategies Under Temporal Logic Constraints | 2017-05-03 | Paper |
| Manifold-following approximate solution of completely hypersensitive optimal control problems | 2016-08-31 | Paper |
| Convex Optimal Uncertainty Quantification | 2015-08-03 | Paper |
| Value of forecasts in planning under uncertainty: Extended version | 2015-03-13 | Paper |
| Quantitative local L2‐gain and Reachability analysis for nonlinear systems | 2014-04-25 | Paper |
| Distributed Load Balancing with Nonconvex Constraints: A Randomized Algorithm with Application to Electric Vehicle Charging Scheduling | 2014-01-29 | Paper |
| Exact Convex Relaxation of Optimal Power Flow in Tree Networks | 2012-08-20 | Paper |
| Analysis of autocatalytic networks in biology | 2012-03-05 | Paper |
| Uncertainty quantification via codimension-one partitioning | 2011-07-20 | Paper |
| Local stability analysis using simulations and sum-of-squares programming | 2009-03-02 | Paper |
| Parameter estimation with expected and residual-at-risk criteria | 2009-02-10 | Paper |
| On base station localization for state estimation over lossy networks | 2008-09-24 | Paper |
