| Publication | Date of Publication | Type |
|---|
On minimizing total discounted cost in MDPs subject to reachability constraints
IEEE Transactions on Automatic Control | 2025-01-21 | Paper |
Randomized greedy methods for weak submodular sensor selection with robustness considerations
Automatica | 2025-01-08 | Paper |
| Adapting to the behavior of environments with bounded memory | 2024-12-06 | Paper |
Joint learning of reward machines and policies in environments with partially known semantics
Artificial Intelligence | 2024-07-25 | Paper |
Privacy-utility tradeoffs against limited adversaries
IEEE Transactions on Automatic Control | 2024-07-21 | Paper |
No-regret learning in dynamic Stackelberg games
IEEE Transactions on Automatic Control | 2024-07-21 | Paper |
On-the-fly, data-driven reachability analysis and control of unknown systems
Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control | 2024-02-21 | Paper |
Identity concealment games: how I learned to stop revealing and love the coincidences
Automatica | 2024-02-20 | Paper |
| Efficient sensitivity analysis for parametric robust Markov chains | 2024-02-01 | Paper |
Efficient Strategy Synthesis for MDPs With Resource Constraints
IEEE Transactions on Automatic Control | 2023-10-06 | Paper |
On-the-Fly Control of Unknown Systems: From Side Information to Performance Guarantees Through Reachability
IEEE Transactions on Automatic Control | 2023-10-06 | Paper |
Exploiting Partial Observability for Optimal Deception
IEEE Transactions on Automatic Control | 2023-10-02 | Paper |
| Alpha-Fair Routing in Urban Air Mobility with Risk-Aware Constraints | 2023-09-29 | Paper |
On-the-Fly Control of Unknown Nonlinear Systems With Sublinear Regret
IEEE Transactions on Automatic Control | 2023-09-29 | Paper |
Expedited Online Learning With Spatial Side Information
IEEE Transactions on Automatic Control | 2023-09-28 | Paper |
Convex Optimization for Parameter Synthesis in MDPs
IEEE Transactions on Automatic Control | 2023-09-26 | Paper |
Probabilistic Control of Heterogeneous Swarms Subject to Graph Temporal Logic Specifications: A Decentralized and Scalable Approach
IEEE Transactions on Automatic Control | 2023-09-26 | Paper |
Entropy Maximization for Partially Observable Markov Decision Processes
IEEE Transactions on Automatic Control | 2023-09-26 | Paper |
On the Complexity of Sequential Incentive Design
IEEE Transactions on Automatic Control | 2023-09-25 | Paper |
Probably Approximately Correct Learning in Adversarial Environments With Temporal Logic Specifications
IEEE Transactions on Automatic Control | 2023-09-24 | Paper |
Policy Synthesis for Switched Linear Systems With Markov Decision Process Switching
IEEE Transactions on Automatic Control | 2023-09-04 | Paper |
Simultaneous perception-action design via invariant finite belief sets
Automatica | 2023-07-31 | Paper |
Synthesis in pMDPs: a tale of 1001 parameters
Automated Technology for Verification and Analysis | 2023-07-28 | Paper |
Maximum realizability for linear temporal logic specifications
Automated Technology for Verification and Analysis | 2023-07-28 | Paper |
Maximum realizability for linear temporal logic specifications
Automated Technology for Verification and Analysis | 2023-07-28 | Paper |
Reactive synthesis for relay-explorer consensus with intermittent communication
Automatica | 2023-07-24 | Paper |
Model Checking for Safe Navigation Among Humans
Quantitative Evaluation of Systems | 2023-06-28 | Paper |
Task-guided IRL in POMDPs that scales
Artificial Intelligence | 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
Applied and Computational Harmonic Analysis | 2022-12-08 | Paper |
Scenario-based verification of uncertain MDPs
Tools and Algorithms for the Construction and Analysis of Systems | 2022-10-13 | Paper |
| Categorical semantics of compositional reinforcement learning | 2022-08-29 | Paper |
Byzantine-Resilient Distributed Hypothesis Testing With Time-Varying Network Topology
IEEE Transactions on Automatic Control | 2022-07-28 | Paper |
Proportional-integral projected gradient method for conic optimization
Automatica | 2022-07-05 | Paper |
Learning linear temporal properties from noisy data: a MaxSAT-based approach
(available as arXiv preprint) | 2022-06-22 | Paper |
On-the-fly control of unknown nonlinear systems with sublinear regret
(available as arXiv preprint) | 2022-06-22 | Paper |
Constrained, global optimization of unknown functions with Lipschitz continuous gradients
SIAM Journal on Optimization | 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
IEEE Transactions on Automatic Control | 2022-02-24 | Paper |
Deception in Supervisory Control
IEEE Transactions on Automatic Control | 2022-02-24 | Paper |
Task-aware verifiable RNN-based policies for partially observable Markov decision processes
Journal of Artificial Intelligence Research | 2022-02-07 | Paper |
Constrained Cross-Entropy Method for Safe Reinforcement Learning
IEEE Transactions on Automatic Control | 2021-07-26 | Paper |
Synthesis of Provably Correct Autonomy Protocols for Shared Control
IEEE Transactions on Automatic Control | 2021-07-26 | Paper |
scientific article; zbMATH DE number 7370552 (Why is no real title available?)
(available as arXiv preprint) | 2021-07-09 | Paper |
| scientific article; zbMATH DE number 7370552 (Why is no real title available?) | 2021-07-09 | Paper |
Strategy Synthesis for POMDPs in Robot Planning via Game-Based Abstractions
IEEE Transactions on Automatic Control | 2021-05-28 | Paper |
Training classifiers for feedback control with safety in mind
Automatica | 2021-04-26 | Paper |
| On Minimizing Total Discounted Cost in MDPs Subject to Reachability Constraints | 2021-03-16 | Paper |
Randomized Greedy Sensor Selection: Leveraging Weak Submodularity
IEEE Transactions on Automatic Control | 2021-03-12 | Paper |
Control-Oriented Learning on the Fly
IEEE Transactions on Automatic Control | 2021-03-12 | Paper |
Safe Controller Synthesis for Data-Driven Differential Inclusions
IEEE Transactions on Automatic Control | 2021-03-12 | Paper |
| Smooth Convex Optimization using Sub-Zeroth-Order Oracles | 2021-02-28 | Paper |
Qualitative controller synthesis for consumption Markov decision processes
(available as arXiv preprint) | 2021-02-09 | Paper |
Entropy Maximization for Markov Decision Processes Under Temporal Logic Constraints
IEEE Transactions on Automatic Control | 2020-10-07 | Paper |
Characterizing two-timescale nonlinear dynamics using finite-time Lyapunov exponents and subspaces
Communications in Nonlinear Science and Numerical Simulation | 2020-09-15 | Paper |
Sequential convex programming for the efficient verification of parametric MDPs
Tools and Algorithms for the Construction and Analysis of Systems | 2020-08-05 | Paper |
Reactive synthesis with maximum realizability of linear temporal logic specifications
Acta Informatica | 2020-03-06 | Paper |
Reactive synthesis with maximum realizability of linear temporal logic specifications
Acta Informatica | 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
(available as arXiv preprint) | 2019-11-29 | Paper |
Pattern-based refinement of assume-guarantee specifications in reactive synthesis
Tools and Algorithms for the Construction and Analysis of Systems | 2019-09-17 | Paper |
Strategy synthesis for stochastic games with multiple long-run objectives
Tools and Algorithms for the Construction and Analysis of Systems | 2019-09-17 | Paper |
An automaton learning approach to solving safety games over infinite graphs
(available as arXiv preprint) | 2019-09-17 | Paper |
| Entropy-Regularized Stochastic Games | 2019-07-26 | Paper |
Compositional synthesis of reactive controllers for multi-agent systems
Computer Aided Verification | 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
IEEE Transactions on Automatic Control | 2018-06-27 | Paper |
Compositional and symbolic synthesis of reactive controllers for multi-agent systems
Information and Computation | 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
Formal Methods in System Design | 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
IEEE Transactions on Control of Network Systems | 2017-09-21 | Paper |
Receding Horizon Temporal Logic Planning
IEEE Transactions on Automatic Control | 2017-09-08 | Paper |
Synthesis of Reactive Switching Protocols From Temporal Logic Specifications
IEEE Transactions on Automatic Control | 2017-09-08 | Paper |
Robust Region-of-Attraction Estimation
IEEE Transactions on Automatic Control | 2017-08-25 | Paper |
Local Stability Analysis for Uncertain Nonlinear Systems
IEEE Transactions on Automatic Control | 2017-08-08 | Paper |
Parameter-Dependent Lyapunov Functions for Linear Systems With Constant Uncertainties
IEEE Transactions on Automatic Control | 2017-08-08 | Paper |
Sampling-based approximate optimal control under temporal logic constraints
Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control | 2017-07-11 | Paper |
Compositional synthesis with parametric reactive controllers
Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control | 2017-05-19 | Paper |
Estimator-based reactive synthesis under incomplete information
Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control | 2017-05-19 | Paper |
Case studies in data-driven verification of dynamical systems
Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control | 2017-05-19 | Paper |
Design and Stability of Load-Side Primary Frequency Control in Power Systems
IEEE Transactions on Automatic Control | 2017-05-16 | Paper |
On synthesizing robust discrete controllers under modeling uncertainty
Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control | 2017-05-16 | Paper |
Exact Convex Relaxation of Optimal Power Flow in Radial Networks
IEEE Transactions on Automatic Control | 2017-05-16 | Paper |
Resilience to intermittent assumption violations in reactive synthesis
Proceedings of the 17th international conference on Hybrid systems: computation and control | 2017-05-16 | Paper |
Receding horizon control for temporal logic specifications
Proceedings of the 13th ACM international conference on Hybrid systems: computation and control | 2017-05-10 | Paper |
Synthesis of Joint Control and Active Sensing Strategies Under Temporal Logic Constraints
IEEE Transactions on Automatic Control | 2017-05-03 | Paper |
Differentially Private Distributed Constrained Optimization
IEEE Transactions on Automatic Control | 2017-05-03 | Paper |
Automata Theory Meets Barrier Certificates: Temporal Logic Verification of Nonlinear Systems
IEEE Transactions on Automatic Control | 2017-05-03 | Paper |
Manifold-following approximate solution of completely hypersensitive optimal control problems
Journal of Optimization Theory and Applications | 2016-08-31 | Paper |
Convex optimal uncertainty quantification
SIAM Journal on Optimization | 2015-08-03 | Paper |
| Value of forecasts in planning under uncertainty: Extended version | 2015-03-13 | Paper |
Quantitative local \(L_2\)-gain and reachability analysis for nonlinear systems
International Journal of Robust and Nonlinear Control | 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
Automatica | 2012-03-05 | Paper |
Uncertainty quantification via codimension-one partitioning
International Journal for Numerical Methods in Engineering | 2011-07-20 | Paper |
Local stability analysis using simulations and sum-of-squares programming
Automatica | 2009-03-02 | Paper |
Parameter estimation with expected and residual-at-risk criteria
Systems & Control Letters | 2009-02-10 | Paper |
| On base station localization for state estimation over lossy networks | 2008-09-24 | Paper |
Deception in Supervisory Control
(available as arXiv preprint) | N/A | Paper |
Sensing Resource Allocation Against Data-Poisoning Attacks in Traffic Routing
(available as arXiv preprint) | N/A | Paper |
