Ufuk Topcu

Leonard Berthellemy

CoRR, 2024

Joint Verification and Refinement of Language Models for Safety-Constrained Planning.

[BibT_eX]

[DOI]

CoRR, 2024

CSA: Data-efficient Mapping of Unimodal Features to Multimodal Features.

[BibT_eX]

[DOI]

Sandeep P. Chinchali

CoRR, 2024

MultiNash-PF: A Particle Filtering Approach for Computing Multiple Local Generalized Nash Equilibria in Trajectory Games.

[BibT_eX]

[DOI]

CoRR, 2024

Uncertainty-Guided Enhancement on Driving Perception System via Foundation Models.

[BibT_eX]

[DOI]

CoRR, 2024

Basis-to-Basis Operator Learning Using Function Encoders.

[BibT_eX]

[DOI]

CoRR, 2024

On The Planning Abilities of OpenAI's o1 Models: Feasibility, Optimality, and Generalizability.

[BibT_eX]

[DOI]

CoRR, 2024

Learning to Coordinate without Communication under Incomplete Information.

[BibT_eX]

[DOI]

CoRR, 2024

Navigating the sociotechnical labyrinth: Dynamic certification for responsible embodied AI.

[BibT_eX]

[DOI]

CoRR, 2024

Autonomous Negotiation Using Comparison-Based Gradient Estimation.

[BibT_eX]

[DOI]

Surya Murthy

CoRR, 2024

Pessimistic Iterative Planning for Robust POMDPs.

[BibT_eX]

[DOI]

Maris F. L. Galesloot

CoRR, 2024

Addressing the Unforeseen Harms of Technology CCC Whitepaper.

[BibT_eX]

[DOI]

CoRR, 2024

Nash Equilibrium in Games on Graphs with Incomplete Preferences.

[BibT_eX]

[DOI]

Abhishek Ninad Kulkarni

Suresh Venkatasubramanian

CoRR, 2024

Adaptive planning for risk-aware predictive digital twins.

[BibT_eX]

[DOI]

CoRR, 2024

Community Driven Approaches to Research in Technology & Society CCC Workshop Report.

[BibT_eX]

[DOI]

Timnit Gebru

Haley Griffin

Leah Namisa Rosenbloom

Nasim Sonboli

CoRR, 2024

Second-Order Algorithms for Finding Local Nash Equilibria in Zero-Sum Games.

[BibT_eX]

[DOI]

CoRR, 2024

Zero-Shot Transfer of Neural ODEs.

[BibT_eX]

[DOI]

Tyler Ingebrand

Adam J. Thorpe

CoRR, 2024

Active Learning of Dynamics Using Prior Domain Knowledge in the Sampling Process.

[BibT_eX]

[DOI]

Kevin S. Miller

Adam J. Thorpe

CoRR, 2024

Susceptibility of Communities against Low-Credibility Content in Social News Websites.

[BibT_eX]

[DOI]

CoRR, 2024

News Source Credibility Assessment: A Reddit Case Study.

[BibT_eX]

[DOI]

CoRR, 2024

Auto-Encoding Bayesian Inverse Games.

[BibT_eX]

[DOI]

CoRR, 2024

Online Foundation Model Selection in Robotics.

[BibT_eX]

[DOI]

CoRR, 2024

Using Large Language Models to Automate and Expedite Reinforcement Learning with Reward Machine.

[BibT_eX]

[DOI]

Shayan Meshkat Alsadat

CoRR, 2024

Noise-Aware and Equitable Urban Air Traffic Management: An Optimization Approach.

[BibT_eX]

[DOI]

CoRR, 2024

Identity concealment games: How I learned to stop revealing and love the coincidences.

[BibT_eX]

[DOI]

Autom., 2024

Joint learning of reward machines and policies in environments with partially known semantics.

[BibT_eX]

[DOI]

Artif. Intell., 2024

Fine-Tuning Language Models Using Formal Methods Feedback: A Use Case in Autonomous Systems.

[BibT_eX]

[DOI]

Proceedings of the Seventh Annual Conference on Machine Learning and Systems, 2024

MM3DGS SLAM: Multi-modal 3D Gaussian Splatting for SLAM Using Vision, Depth, and Inertial Measurements.

[BibT_eX]

[DOI]

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2024

Scalable Networked Feature Selection with Randomized Algorithm for Robot Navigation.

[BibT_eX]

[DOI]

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2024

Human-Agent Cooperation in Games under Incomplete Information through Natural Language Communication.

[BibT_eX]

[DOI]

Shenghui Chen

Daniel Fried

Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, 2024

A Multifidelity Sim-to-Real Pipeline for Verifiable and Compositional Reinforcement Learning.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Robotics and Automation, 2024

Zero-Shot Reinforcement Learning via Function Encoders.

[BibT_eX]

[DOI]

Tyler Ingebrand

Amy Zhang

Proceedings of the Forty-first International Conference on Machine Learning, 2024

A Decentralized Shotgun Approach for Team Deception.

[BibT_eX]

[DOI]

Caleb Probine

Proceedings of the Decision and Game Theory for Security - 15th International Conference, 2024

Reduce, Reuse, Recycle: Categories for Compositional Reinforcement Learning.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2024 - 27th European Conference on Artificial Intelligence, 19-24 October 2024, Santiago de Compostela, Spain, 2024

Multimodal Pretrained Models for Verifiable Sequential Decision-Making: Planning, Grounding, and Perception.

[BibT_eX]

[DOI]

Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems, 2024

Alpha-Fair Routing in Urban Air Mobility with Risk-Aware Constraints.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2024

Physics-Informed Kernel Embeddings: Integrating Prior System Knowledge with Data-Driven Control.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2024

Encouraging Inferable Behavior for Autonomy: Repeated Bimatrix Stackelberg Games with Observations.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2024

Deceptive Planning for Resource Allocation.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2024

Optimization-Based Countering of Misinformation on Social Networks.

[BibT_eX]

[DOI]

Yigit Ege Bayiz

Proceedings of the American Control Conference, 2024

Control of Misinformation with Safety and Engagement Guarantees.

[BibT_eX]

[DOI]

Arash Amini

Yigit E. Bayiz

Proceedings of the American Control Conference, 2024

2023

Vertiport Selection in Hybrid Air-Ground Transportation Networks via Mathematical Programs With Equilibrium Constraints.

[BibT_eX]

[DOI]

IEEE Trans. Control. Netw. Syst., December, 2023

Safely: Safe Stochastic Motion Planning Under Constrained Sensing via Duality.

[BibT_eX]

[DOI]

IEEE Trans. Robotics, October, 2023

Dynamic Certification for Autonomous Systems.

[BibT_eX]

[DOI]

Commun. ACM, September, 2023

Simultaneous perception-action design via invariant finite belief sets.

[BibT_eX]

[DOI]

Michael Hibbard

Takashi Tanaka

Autom., September, 2023

On-the-Fly Control of Unknown Systems: From Side Information to Performance Guarantees Through Reachability.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., August, 2023

Efficient Strategy Synthesis for MDPs With Resource Constraints.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., August, 2023

Reactive synthesis for relay-explorer consensus with intermittent communication.

[BibT_eX]

[DOI]

Autom., August, 2023

Exploiting Partial Observability for Optimal Deception.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., July, 2023

On-the-Fly Control of Unknown Nonlinear Systems With Sublinear Regret.

[BibT_eX]

[DOI]

Abraham P. Vinod

IEEE Trans. Autom. Control., May, 2023

Experiments for 'Efficient Sensitivity Analysis for Parametric Robust Markov Chains'.

[BibT_eX]

[DOI]

Dataset, May, 2023

Task-guided IRL in POMDPs that scales.

[BibT_eX]

[DOI]

Artif. Intell., April, 2023

Experiments for 'Efficient Sensitivity Analysis for Parametric Robust Markov Chains'.

[BibT_eX]

[DOI]

Dataset, April, 2023

Expedited Online Learning With Spatial Side Information.

[BibT_eX]

[DOI]

Pranay Thangeda

IEEE Trans. Autom. Control., March, 2023

On the Privacy Risks of Deploying Recurrent Neural Networks in Machine Learning Models.

[BibT_eX]

[DOI]

Proc. Priv. Enhancing Technol., January, 2023

Policy Synthesis for Switched Linear Systems With Markov Decision Process Switching.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2023

Probabilistic Control of Heterogeneous Swarms Subject to Graph Temporal Logic Specifications: A Decentralized and Scalable Approach.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2023

Formal Methods for Autonomous Systems.

[BibT_eX]

[DOI]

Found. Trends Syst. Control., 2023

Inverse Matrix Games With Unique Quantal Response Equilibrium.

[BibT_eX]

[DOI]

IEEE Control. Syst. Lett., 2023

Extrapolated Proportional-Integral Projected Gradient Method for Conic Optimization.

[BibT_eX]

[DOI]

IEEE Control. Syst. Lett., 2023

On the complexity of sabotage games for network security.

[BibT_eX]

[DOI]

CoRR, 2023

Prebunking Design as a Defense Mechanism Against Misinformation Propagation on Social Networks.

[BibT_eX]

[DOI]

Yigit Ege Bayiz

CoRR, 2023

Algorithmic Robustness.

[BibT_eX]

[DOI]

CoRR, 2023

Fine-Tuning Language Models Using Formal Methods Feedback.

[BibT_eX]

[DOI]

CoRR, 2023

Specification-Driven Video Search via Foundation Models and Formal Verification.

[BibT_eX]

[DOI]

Sandeep Chinchali

CoRR, 2023

Verifiable Reinforcement Learning Systems via Compositionality.

[BibT_eX]

[DOI]

CoRR, 2023

Active Inverse Learning in Stackelberg Trajectory Games.

[BibT_eX]

[DOI]

CoRR, 2023

Multimodal Pretrained Models for Sequential Decision-Making: Synthesis, Verification, Grounding, and Perception.

[BibT_eX]

[DOI]

CoRR, 2023

Risk-aware Urban Air Mobility Network Design with Overflow Redundancy.

[BibT_eX]

[DOI]

CoRR, 2023

Dynamic Routing in Stochastic Urban Air Mobility Networks: A Markov Decision Process Approach.

[BibT_eX]

[DOI]

Qinshuang Wei

Yue Yu

CoRR, 2023

Learning Sparse Control Tasks from Pixels by Latent Nearest-Neighbor-Guided Explorations.

[BibT_eX]

[DOI]

CoRR, 2023

Controller Synthesis for Multi-Agent Systems With Intermittent Communication and Metric Temporal Logic Specifications.

[BibT_eX]

[DOI]

Alexander J. Phillips

Warren E. Dixon

IEEE Access, 2023

Reward-machine-guided, self-paced reinforcement learning.

[BibT_eX]

[DOI]

Cevahir Köprülü

Proceedings of the Uncertainty in Artificial Intelligence, 2023

Risk-aware curriculum generation for heavy-tailed task distributions.

[BibT_eX]

[DOI]

Proceedings of the Uncertainty in Artificial Intelligence, 2023

Differential Privacy in Cooperative Multiagent Planning.

[BibT_eX]

[DOI]

Proceedings of the Uncertainty in Artificial Intelligence, 2023

Task-aware Distributed Source Coding under Dynamic Bandwidth.

[BibT_eX]

[DOI]

Sravan Kumar Ankireddy

Ruihan Philip Zhao

Hossein Nourkhiz Mahjoub

Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023

Compositional Learning of Dynamical System Models Using Port-Hamiltonian Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the Learning for Dynamics and Control Conference, 2023

Autonomous Drifting with 3 Minutes of Data via Learned Tire Models.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Robotics and Automation, 2023

Non-Parametric Neuro-Adaptive Control.

[BibT_eX]

[DOI]

Proceedings of the European Control Conference, 2023

Reinforcement Learning with Reward Machines in Stochastic Games.

[BibT_eX]

[DOI]

Jueming Hu

Proceedings of the ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland, 2023

How to Learn and Generalize From Three Minutes of Data: Physics-Constrained and Uncertainty-Aware Neural Stochastic Differential Equations.

[BibT_eX]

[DOI]

Proceedings of the Conference on Robot Learning, 2023

Reinforcement Learning with Temporal-Logic-Based Causal Diagrams.

[BibT_eX]

[DOI]

Yash Paliwal

Rajarshi Roy

Proceedings of the Machine Learning and Knowledge Extraction, 2023

Automatic Decomposition of Reward Machines for Decentralized Multiagent Reinforcement Learning.

[BibT_eX]

[DOI]

Sophia Smith

Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

Simulator-Driven Deceptive Control via Path Integral Approach.

[BibT_eX]

[DOI]

Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

Decentralized Conflict Resolution for Multi-Agent Reinforcement Learning Through Shared Scheduling Protocols.

[BibT_eX]

[DOI]

Tyler Ingebrand

Sophia Smith

Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

Privacy-Engineered Value Decomposition Networks for Cooperative Multi-Agent Reinforcement Learning.

[BibT_eX]

[DOI]

Matthew T. Hale

Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

Differential Privacy for Stochastic Matrices Using the Matrix Dirichlet Mechanism.

[BibT_eX]

[DOI]

Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

Soft-Bellman Equilibrium in Affine Markov Games: Forward Solutions and Inverse Learning.

[BibT_eX]

[DOI]

Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

Quantifying Faulty Assumptions in Heterogeneous Multi-Agent Systems <sup>*</sup>.

[BibT_eX]

[DOI]

Proceedings of the IEEE Conference on Control Technology and Applications, 2023

Efficient Sensitivity Analysis for Parametric Robust Markov Chains.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

Memoryless Adversaries in Imperfect Information Games.

[BibT_eX]

[DOI]

Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, 2023

Differentially Private Timeseries Forecasts for Networked Control.

[BibT_eX]

[DOI]

Sandeep P. Chinchali

Proceedings of the American Control Conference, 2023

Randomized Greedy Algorithms for Sensor Selection in Large-Scale Satellite Constellations.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2023

Cost Design in Atomic Routing Games.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2023

Poisoning Attacks Against Data-Driven Predictive Control.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2023

On the Sample Complexity of Vanilla Model-Based Offline Reinforcement Learning with Dependent Samples.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

Safe Reinforcement Learning via Shielding under Partial Observability.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

Learning Interpretable Temporal Properties from Positive Examples Only.

[BibT_eX]

[DOI]

Rajarshi Roy

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022

Experiments for 'Scenario-Based Verification of Uncertain Parametric MDPs'.

[BibT_eX]

[DOI]

Dataset, June, 2022

Polynomial-Time Algorithms for Multiagent Minimal-Capacity Planning.

[BibT_eX]

[DOI]

Frantisek Blahoudek

IEEE Trans. Control. Netw. Syst., 2022

Byzantine-Resilient Distributed Hypothesis Testing With Time-Varying Network Topology.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2022

Probably Approximately Correct Learning in Adversarial Environments With Temporal Logic Specifications.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2022

Entropy Maximization for Partially Observable Markov Decision Processes.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2022

On the Complexity of Sequential Incentive Design.

[BibT_eX]

[DOI]

Yagiz Savas

IEEE Trans. Autom. Control., 2022

Deception in Supervisory Control.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2022

Convex Optimization for Parameter Synthesis in MDPs.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2022

Scenario-based verification of uncertain parametric MDPs.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2022

Collaborative one-shot beamforming under localization errors: A discrete optimization approach.

[BibT_eX]

[DOI]

Signal Process., 2022

Constrained, Global Optimization of Unknown Functions with Lipschitz Continuous Gradients.

[BibT_eX]

[DOI]

Abraham P. Vinod

SIAM J. Optim., 2022

Synthesis of strategies for autonomous surveillance on adversarial targets.

[BibT_eX]

[DOI]

Robotics Auton. Syst., 2022

MaxSAT-based temporal logic inference from noisy data.

[BibT_eX]

[DOI]

Innov. Syst. Softw. Eng., 2022

Reactive task and motion planning for robust whole-body dynamic locomotion in constrained environments.

[BibT_eX]

[DOI]

Int. J. Robotics Res., 2022

Learning Automata-Based Task Knowledge Representation from Large-Scale Generative Language Models.

[BibT_eX]

[DOI]

CoRR, 2022

Learning Temporal Logic Properties: an Overview of Two Recent Methods.

[BibT_eX]

[DOI]

CoRR, 2022

Sensor Placement for Online Fault Diagnosis.

[BibT_eX]

[DOI]

CoRR, 2022

Countering Misinformation on Social Networks Using Graph Alterations.

[BibT_eX]

[DOI]

Yigit E. Bayiz

CoRR, 2022

Categorical semantics of compositional reinforcement learning.

[BibT_eX]

[DOI]

Michail Savvas

CoRR, 2022

Real-Time Quadrotor Trajectory Optimization with Time-Triggered Corridor Constraints.

[BibT_eX]

[DOI]

Yue Yu

Kartik Nagpal

Margaret Skye Mceowen

Behçet Açikmese

CoRR, 2022

Non-Parametric Neuro-Adaptive Formation Control.

[BibT_eX]

[DOI]

CoRR, 2022

Inverse Matrix Games with Unique Nash Equilibrium.

[BibT_eX]

[DOI]

CoRR, 2022

Relationship Design for Socially Desirable Behavior in Static Games.

[BibT_eX]

[DOI]

CoRR, 2022

Deceptive Planning for Resource Allocation.

[BibT_eX]

[DOI]

CoRR, 2022

Additive Logistic Mechanism for Privacy-Preserving Self-Supervised Learning.

[BibT_eX]

[DOI]

CoRR, 2022

Safe Reinforcement Learning via Shielding for POMDPs.

[BibT_eX]

[DOI]

CoRR, 2022

Hierarchical Control for Multi-Agent Autonomous Racing.

[BibT_eX]

[DOI]

Rishabh Saumil Thakkar

CoRR, 2022

Class-Aware Generative Adversarial Transformers for Medical Image Segmentation.

[BibT_eX]

[DOI]

CoRR, 2022

Proportional-integral projected gradient method for conic optimization.

[BibT_eX]

[DOI]

Autom., 2022

Faster non-convex federated learning via global and local momentum.

[BibT_eX]

[DOI]

Proceedings of the Uncertainty in Artificial Intelligence, 2022

Class-Aware Adversarial Transformers for Medical Image Segmentation.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022

Learning to Reach, Swim, Walk and Fly in One Trial: Data-Driven Control with Scarce Data and Side Information.

[BibT_eX]

[DOI]

Proceedings of the Learning for Dynamics and Control Conference, 2022

Neural Networks with Physics-Informed Architectures and Constraints for Dynamical Systems Modeling.

[BibT_eX]

[DOI]

Proceedings of the Learning for Dynamics and Control Conference, 2022

Taylor-Lagrange Neural Ordinary Differential Equations: Toward Fast Training and Evaluation of Neural ODEs.

[BibT_eX]

[DOI]

Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

AlgebraicSystems: Compositional Verification for Autonomous System Design.

[BibT_eX]

[DOI]

Proceedings of the 13th ACM/IEEE International Conference on Cyber-Physical Systems, 2022

Non-Parametric Neuro-Adaptive Coordination of Multi-Agent Systems.

[BibT_eX]

[DOI]

Proceedings of the 21st International Conference on Autonomous Agents and Multiagent Systems, 2022

Planning Not to Talk: Multiagent Systems that are Robust to Communication Loss.

[BibT_eX]

[DOI]

Proceedings of the 21st International Conference on Autonomous Agents and Multiagent Systems, 2022

Guaranteeing Safety via Active-Set Invariance Filters for Multi-Agent Space Systems with Coupled Dynamics<sup>*</sup>.

[BibT_eX]

[DOI]

Michael Hibbard

Kerianne Hobbs

Proceedings of the American Control Conference, 2022

Blending Controllers via Multi-Objective Bandits.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2022

Adversarial Examples for Model-Based Control: A Sensitivity Analysis.

[BibT_eX]

[DOI]

Sandeep P. Chinchali

Proceedings of the 58th Annual Allerton Conference on Communication, 2022

Alternating Direction Method of Multipliers for Decomposable Saddle-Point Problems.

[BibT_eX]

[DOI]

David Fridovich-Keil

Proceedings of the 58th Annual Allerton Conference on Communication, 2022

Decentralized Online Influence Maximization.

[BibT_eX]

[DOI]

Yigit E. Bayiz

Proceedings of the 58th Annual Allerton Conference on Communication, 2022

Robust Training in High Dimensions via Block Coordinate Geometric Median Descent.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Artificial Intelligence and Statistics, 2022

Verifiable and Compositional Reinforcement Learning Systems.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling, 2022

Task-Guided Inverse Reinforcement Learning under Partial Information.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling, 2022

Deceptive Decision-Making under Uncertainty.

[BibT_eX]

[DOI]

Yagiz Savas

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2021

Differential Privacy on the Unit Simplex via the Dirichlet Mechanism.

[BibT_eX]

[DOI]

IEEE Trans. Inf. Forensics Secur., 2021

Online Synthesis for Runtime Enforcement of Safety in Multiagent Systems.

[BibT_eX]

[DOI]

Sudarshanan Bharadwaj

IEEE Trans. Control. Netw. Syst., 2021

Distributed Policy Synthesis of Multiagent Systems With Graph Temporal Logic Specifications.

[BibT_eX]

[DOI]

IEEE Trans. Control. Netw. Syst., 2021

Decentralized Control Synthesis for Air Traffic Management in Urban Air Mobility.

[BibT_eX]

[DOI]

IEEE Trans. Control. Netw. Syst., 2021

Strategy Synthesis for POMDPs in Robot Planning via Game-Based Abstractions.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2021

Constrained Cross-Entropy Method for Safe Reinforcement Learning.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2021

Randomized Greedy Sensor Selection: Leveraging Weak Submodularity.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2021

Synthesis of Provably Correct Autonomy Protocols for Shared Control.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2021

Control Theory Meets POMDPs: A Hybrid Systems Approach.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2021

Learning and Planning for Time-Varying MDPs Using Maximum Likelihood Estimation.

[BibT_eX]

[DOI]

J. Mach. Learn. Res., 2021

Task-Aware Verifiable RNN-Based Policies for Partially Observable Markov Decision Processes.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2021

On The Vulnerability of Recurrent Neural Networks to Membership Inference Attacks.

[BibT_eX]

[DOI]

CoRR, 2021

Adapting to the Behavior of Environments with Bounded Memory.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 12th International Symposium on Games, 2021

Proportional-Integral Projected Gradient Method for Infeasibility Detection in Conic Optimization.

[BibT_eX]

[DOI]

Yue Yu

CoRR, 2021

Robust Generative Adversarial Imitation Learning via Local Lipschitzness.

[BibT_eX]

[DOI]

CoRR, 2021

Privacy-Utility Trade-Offs Against Limited Adversaries.

[BibT_eX]

[DOI]

CoRR, 2021

Non-Parametric Neuro-Adaptive Control Subject to Task Specifications.

[BibT_eX]

[DOI]

CoRR, 2021

Uncertainty-Aware Signal Temporal logic.

[BibT_eX]

[DOI]

Nasim Baharisangari

CoRR, 2021

Safety-Constrained Learning and Control using Scarce Data and Reciprocal Barriers.

[BibT_eX]

[DOI]

CoRR, 2021

Polynomial-Time Algorithms for Multi-Agent Minimal-Capacity Planning.

[BibT_eX]

[DOI]

Frantisek Blahoudek

CoRR, 2021

Learning Linear Temporal Properties from Noisy Data: A MaxSAT Approach.

[BibT_eX]

[DOI]

CoRR, 2021

Controller Synthesis for Multi-Agent Systems with Intermittent Communication and Metric Temporal Logic Specifications.

[BibT_eX]

[DOI]

Federico M. Zegers

Bo Wu

Alexander J. Phillips

Warren E. Dixon

CoRR, 2021

Function Approximation via Sparse Random Features.

[BibT_eX]

[DOI]

CoRR, 2021

A 3D Printing Hexacopter: Design and Demonstration.

[BibT_eX]

[DOI]

CoRR, 2021

Privacy-Preserving Teacher-Student Deep Reinforcement Learning.

[BibT_eX]

[DOI]

CoRR, 2021

Training classifiers for feedback control with safety in mind.

[BibT_eX]

[DOI]

Niklas T. Lauffer

Autom., 2021

Uncertainty-Aware Signal Temporal Logic Inference.

[BibT_eX]

[DOI]

Nasim Baharisangari

Proceedings of the Software Verification - 13th International Conference, 2021

No-regret learning with high-probability in adversarial Markov decision processes.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Seventh Conference on Uncertainty in Artificial Intelligence, 2021

Safe Policies for Factored Partially Observable Stochastic Games.

[BibT_eX]

[DOI]

Sudarshanan Bharadwaj

Matthijs T. J. Spaan

Proceedings of the Robotics: Science and Systems XVII, Virtual Event, July 12-16, 2021., 2021

Minimum-Violation Traffic Management for Urban Air Mobility.

[BibT_eX]

[DOI]

Natasha A. Neogi

Joseph Muffoletto

Proceedings of the NASA Formal Methods - 13th International Symposium, 2021

From Agile Ground to Aerial Navigation: Learning from Learned Hallucination.

[BibT_eX]

[DOI]

Zizhao Wang

Xuesu Xiao

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2021

Self-Supervised Online Reward Shaping in Sparse-Reward Environments.

[BibT_eX]

[DOI]

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2021

Decentralized Classification with Assume-Guarantee Planning.

[BibT_eX]

[DOI]

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2021

Physical-Layer Security via Distributed Beamforming in the Presence of Adversaries with Unknown Locations.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Acoustics, 2021

On-the-fly, data-driven reachability analysis and control of unknown systems: an F-16 aircraft case study.

[BibT_eX]

[DOI]

Aditya Zutshi

Proceedings of the HSCC '21: 24th ACM International Conference on Hybrid Systems: Computation and Control, 2021

Fuel in Markov Decision Processes (FiMDP): A Practical Approach to Consumption.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods - 24th International Symposium, 2021

Active Finite Reward Automaton Inference and Reinforcement Learning Using Queries and Counterexamples.

[BibT_eX]

[DOI]

Proceedings of the Machine Learning and Knowledge Extraction, 2021

Learning-Based, Safety-Constrained Control from Scarce Data via Reciprocal Barriers.

[BibT_eX]

[DOI]

Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021

Temporal-Logic-Based Intermittent, Optimal, and Safe Continuous-Time Learning for Trajectory Tracking.

[BibT_eX]

[DOI]

Kyriakos G. Vamvoudakis

Warren E. Dixon

Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021

A Barrier Pair Method for Safe Human-Robot Shared Autonomy.

[BibT_eX]

[DOI]

Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021

Assured Learning-Based Optimal Control subject to Timed Temporal Logic Constraints.

[BibT_eX]

[DOI]

Filippos Fotiadis

Kyriakos G. Vamvoudakis

Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021

On Controllability and Persistency of Excitation in Data-Driven Control: Extensions of Willems' Fundamental Lemma.

[BibT_eX]

[DOI]

Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021

Learning Linear Temporal Properties from Noisy Data: A MaxSAT-Based Approach.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2021

Reward Machines for Cooperative Multi-Agent Reinforcement Learning.

[BibT_eX]

[DOI]

Proceedings of the AAMAS '21: 20th International Conference on Autonomous Agents and Multiagent Systems, 2021

Safe Multi-Agent Reinforcement Learning via Shielding.

[BibT_eX]

[DOI]

Proceedings of the AAMAS '21: 20th International Conference on Autonomous Agents and Multiagent Systems, 2021

Minimum-Violation Planning for Autonomous Systems: Theoretical and Practical Considerations.

[BibT_eX]

[DOI]

Konstantin Slutsky

Emilio Frazzoli

Proceedings of the 2021 American Control Conference, 2021

Online Learning with Implicit Exploration in Episodic Markov Decision Processes.

[BibT_eX]

[DOI]

Proceedings of the 2021 American Control Conference, 2021

On-The-Fly Control of Unknown Smooth Systems from Limited Data.

[BibT_eX]

[DOI]

Proceedings of the 2021 American Control Conference, 2021

Algorithms for Fairness in Sequential Decision Making.

[BibT_eX]

[DOI]

Osbert Bastani

Proceedings of the 24th International Conference on Artificial Intelligence and Statistics, 2021

Multiple Plans are Better than One: Diverse Stochastic Planning.

[BibT_eX]

[DOI]

Proceedings of the Thirty-First International Conference on Automated Planning and Scheduling, 2021

Collaborative Beamforming for Agents with Localization Errors.

[BibT_eX]

[DOI]

Proceedings of the 55th Asilomar Conference on Signals, Systems, and Computers, 2021

Advice-Guided Reinforcement Learning in a non-Markovian Environment.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

Smooth Convex Optimization Using Sub-Zeroth-Order Oracles.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

Temporal-Logic-Based Reward Shaping for Continuing Reinforcement Learning Tasks.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

Robust Finite-State Controllers for Uncertain POMDPs.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

Adaptive Teaching of Temporal Logic Formulas to Preference-based Learners.

[BibT_eX]

[DOI]

Yuxin Chen

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020

Entropy Maximization for Markov Decision Processes Under Temporal Logic Constraints.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2020

Control-Oriented Learning on the Fly.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2020

Safe Controller Synthesis for Data-Driven Differential Inclusions.

[BibT_eX]

[DOI]

Mohamadreza Ahmadi

IEEE Trans. Autom. Control., 2020

Towards online monitoring and data-driven control: a study of segmentation algorithms for infrared images of the powder bed.

[BibT_eX]

[DOI]

Scott Fish

Joseph Beaman

CoRR, 2020

Assured Autonomy: Path Toward Living With Autonomous Systems We Can Trust.

[BibT_eX]

[DOI]

CoRR, 2020

Constrained Active Classification Using Partially Observable Markov Decision Processes.

[BibT_eX]

[DOI]

CoRR, 2020

Control Strategies for COVID-19 Epidemic with Vaccination, Shield Immunity and Quarantine: A Metric Temporal Logic Approach.

[BibT_eX]

[DOI]

Bo Wu

CoRR, 2020

Temporal-Logic-Based Reward Shaping for Continuing Learning Tasks.

[BibT_eX]

[DOI]

Yuqian Jiang

Sudarshanan Bharadwaj

CoRR, 2020

Active Finite Reward Automaton Inference and Reinforcement Learning Using Queries and Counterexamples.

[BibT_eX]

[DOI]

CoRR, 2020

Distributed Policy Synthesis of Multi-Agent Systems With Graph Temporal Logic Specifications.

[BibT_eX]

[DOI]

CoRR, 2020

Distributed Beamforming for Agents with Localization Errors.

[BibT_eX]

[DOI]

CoRR, 2020

Playing Against Opponents With Limited Memory.

[BibT_eX]

[DOI]

CoRR, 2020

Adaptive Teaching of Temporal Logic Formulas to Learners with Preferences.

[BibT_eX]

[DOI]

Yuxin Chen

CoRR, 2020

Reactive synthesis with maximum realizability of linear temporal logic specifications.

[BibT_eX]

[DOI]

Acta Informatica, 2020

Scenario-Based Verification of Uncertain MDPs.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

Probabilistic Swarm Guidance Subject to Graph Temporal Logic Specifications.

[BibT_eX]

[DOI]

Proceedings of the Robotics: Science and Systems XVI, 2020

Robust Policy Synthesis for Uncertain POMDPs via Convex Optimization.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

Verifiable RNN-Based Policies for POMDPs Under Temporal Logic Constraints.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

Near-Optimal Reactive Synthesis Incorporating Runtime Information.

[BibT_eX]

[DOI]

Proceedings of the 2020 IEEE International Conference on Robotics and Automation, 2020

Task-Oriented Active Perception and Planning in Environments with Partially Known Semantics.

[BibT_eX]

[DOI]

Erdem Bulgur

Proceedings of the 37th International Conference on Machine Learning, 2020

Reachability Games for Optimal Multi-agent Scheduling of Tasks with Variable Durations.

[BibT_eX]

[DOI]

Niklas T. Lauffer

Proceedings of the Combinatorial Optimization and Applications, 2020

Active Task-Inference-Guided Deep Inverse Reinforcement Learning.

[BibT_eX]

[DOI]

Proceedings of the 59th IEEE Conference on Decision and Control, 2020

BP-RRT: Barrier Pair Synthesis for Temporal Logic Motion Planning.

[BibT_eX]

[DOI]

Proceedings of the 59th IEEE Conference on Decision and Control, 2020

Privacy-Preserving Policy Synthesis in Markov Decision Processes.

[BibT_eX]

[DOI]

Matthew T. Hale

Proceedings of the 59th IEEE Conference on Decision and Control, 2020

Scalable Synthesis of Minimum-Information Linear-Gaussian Control by Distributed Optimization.

[BibT_eX]

[DOI]

Takashi Tanaka

Proceedings of the 59th IEEE Conference on Decision and Control, 2020

Qualitative Controller Synthesis for Consumption Markov Decision Processes.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

Policy Synthesis for Factored MDPs with Graph Temporal Logic Specifications.

[BibT_eX]

[DOI]

Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, 2020

Convexified contextual optimization for on-the-fly control of smooth systems.

[BibT_eX]

[DOI]

Abraham P. Vinod

Proceedings of the 2020 American Control Conference, 2020

The Dirichlet Mechanism for Differential Privacy on the Unit Simplex.

[BibT_eX]

[DOI]

Proceedings of the 2020 American Control Conference, 2020

Identifying Sparse Low-Dimensional Structures in Markov Chains: A Nonnegative Matrix Factorization Approach.

[BibT_eX]

[DOI]

Proceedings of the 2020 American Control Conference, 2020

Differentially Private Controller Synthesis With Metric Temporal Logic Specifications.

[BibT_eX]

[DOI]

Proceedings of the 2020 American Control Conference, 2020

Resilient Distributed Hypothesis Testing with Time-Varying Network Topology.

[BibT_eX]

[DOI]

Proceedings of the 2020 American Control Conference, 2020

Joint Inference of Reward Machines and Policies for Reinforcement Learning.

[BibT_eX]

[DOI]

Proceedings of the Thirtieth International Conference on Automated Planning and Scheduling, 2020

2019

Controller Synthesis of Wind Turbine Generator and Energy Storage System with Stochastic Wind Variations under Temporal Logic Specifications.

[BibT_eX]

[DOI]

CoRR, 2019

Minimizing the Information Leakage Regarding High-Level Task Specifications.

[BibT_eX]

[DOI]

CoRR, 2019

Decentralized Runtime Synthesis of Shields for Multi-Agent Systems.

[BibT_eX]

[DOI]

CoRR, 2019

Identifying Low-Dimensional Structures in Markov Chains: A Nonnegative Matrix Factorization Approach.

[BibT_eX]

[DOI]

CoRR, 2019

Fairness with Dynamics.

[BibT_eX]

[DOI]

Osbert Bastani

Alejandro Barberia Chueca

CoRR, 2019

Traffic Management for Urban Air Mobility.

[BibT_eX]

[DOI]

Proceedings of the NASA Formal Methods - 11th International Symposium, 2019

Structured Synthesis for Probabilistic Systems.

[BibT_eX]

[DOI]

Proceedings of the NASA Formal Methods - 11th International Symposium, 2019

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

[BibT_eX]

[DOI]

Proceedings of the 2019 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2019

Perception-Aware Point-Based Value Iteration for Partially Observable Markov Decision Processes.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Counterexample-Guided Strategy Improvement for POMDPs Using Recurrent Neural Networks.

[BibT_eX]

[DOI]

Alexandru Constantin Serban

Ralf Wimmer

Bernd Becker

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Transfer of Temporal Logic Formulas in Reinforcement Learning.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Salty-A Domain Specific Language for GR(1) Specifications and Designs.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Robotics and Automation, 2019

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

[BibT_eX]

[DOI]

Yingshui Tan

Baihong Jin

Yuxin Chen

Yisong Yue

Alberto L. Sangiovanni-Vincentelli

Proceedings of the 18th IEEE International Conference On Machine Learning And Applications, 2019

Submodular Observation Selection and Information Gathering for Quadratic Models.

[BibT_eX]

[DOI]

Proceedings of the 36th International Conference on Machine Learning, 2019

Entropy-Regularized Stochastic Games.

[BibT_eX]

[DOI]

Proceedings of the 58th IEEE Conference on Decision and Control, 2019

Incentive Design for Temporal Logic Objectives.

[BibT_eX]

[DOI]

Proceedings of the 58th IEEE Conference on Decision and Control, 2019

Optimal Deceptive and Reference Policies for Supervisory Control.

[BibT_eX]

[DOI]

Proceedings of the 58th IEEE Conference on Decision and Control, 2019

Unpredictable Planning Under Partial Observability.

[BibT_eX]

[DOI]

Proceedings of the 58th IEEE Conference on Decision and Control, 2019

Online Active Perception for Partially Observable Markov Decision Processes with Limited Budget.

[BibT_eX]

[DOI]

Proceedings of the 58th IEEE Conference on Decision and Control, 2019

Strategy Synthesis for Surveillance-Evasion Games with Learning-Enabled Visibility Optimization.

[BibT_eX]

[DOI]

Proceedings of the 58th IEEE Conference on Decision and Control, 2019

Graph Temporal Logic Inference for Classification and Identification.

[BibT_eX]

[DOI]

A. Agung Julius

Proceedings of the 58th IEEE Conference on Decision and Control, 2019

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

[BibT_eX]

[DOI]

Bo Wu

Proceedings of the 58th IEEE Conference on Decision and Control, 2019

Reward-Based Deception with Cognitive Bias.

[BibT_eX]

[DOI]

Proceedings of the 58th IEEE Conference on Decision and Control, 2019

Hierarchical Path Planning for Urban On-Demand Air Mobility.

[BibT_eX]

[DOI]

Dantong Ge

Proceedings of the 2019 IEEE Conference on Control Technology and Applications, 2019

Training Classifiers For Feedback Control.

[BibT_eX]

[DOI]

Niklas T. Lauffer

Proceedings of the 2019 American Control Conference, 2019

Myopic Control of Systems with Unknown Dynamics.

[BibT_eX]

[DOI]

Proceedings of the 2019 American Control Conference, 2019

Least Inferable Policies for Markov Decision Processes.

[BibT_eX]

[DOI]

Proceedings of the 2019 American Control Conference, 2019

On Submodularity of Quadratic Observation Selection in Constrained Networked Sensing Systems.

[BibT_eX]

[DOI]

Proceedings of the 2019 American Control Conference, 2019

Synthesis of Minimum-Cost Shields for Multi-agent Systems.

[BibT_eX]

[DOI]

Proceedings of the 2019 American Control Conference, 2019

Barrier Certificates for Assured Machine Teaching.

[BibT_eX]

[DOI]

Proceedings of the 2019 American Control Conference, 2019

Information-Guided Temporal Logic Inference with Prior Knowledge.

[BibT_eX]

[DOI]

Proceedings of the 2019 American Control Conference, 2019

Cost-Bounded Active Classification Using Partially Observable Markov Decision Processes.

[BibT_eX]

[DOI]

Proceedings of the 2019 American Control Conference, 2019

Controller Synthesis for Multi-Agent Systems With Intermittent Communication. A Metric Temporal Logic Approach.

[BibT_eX]

[DOI]

Proceedings of the 57th Annual Allerton Conference on Communication, 2019

2018

Compositional and symbolic synthesis of reactive controllers for multi-agent systems.

[BibT_eX]

[DOI]

Inf. Comput., 2018

Robust Myopic Control for Systems with Imperfect Observations.

[BibT_eX]

[DOI]

Dantong Ge

CoRR, 2018

The Partially Observable Games We Play for Cyber Deception.

[BibT_eX]

[DOI]

CoRR, 2018

Entropy Maximization for Markov Decision Processes Under Temporal Logic Constraints.

[BibT_eX]

[DOI]

CoRR, 2018

Model Checking for Safe Navigation Among Humans.

[BibT_eX]

[DOI]

Proceedings of the Quantitative Evaluation of Systems - 15th International Conference, 2018

Abstraktions-basierte Verifikation von POMDPs im Motion-Planning-Kontext.

[BibT_eX]

[DOI]

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 2018

Counterexamples for Robotic Planning Explained in Structured Language.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE International Conference on Robotics and Automation, 2018

Expedited Learning in MDPs with Side Information.

[BibT_eX]

[DOI]

Proceedings of the 57th IEEE Conference on Decision and Control, 2018

Synthesis of Surveillance Strategies via Belief Abstraction.

[BibT_eX]

[DOI]

Proceedings of the 57th IEEE Conference on Decision and Control, 2018

Distributed Synthesis of Surveillance Strategies for Mobile Sensors.

[BibT_eX]

[DOI]

Proceedings of the 57th IEEE Conference on Decision and Control, 2018

Transfer Entropy in MDPs with Temporal Logic Specifications.

[BibT_eX]

[DOI]

Proceedings of the 57th IEEE Conference on Decision and Control, 2018

Privacy Verification in POMDPs via Barrier Certificates.

[BibT_eX]

[DOI]

Proceedings of the 57th IEEE Conference on Decision and Control, 2018

Maximum Realizability for Linear Temporal Logic Specifications.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2018

Synthesis in pMDPs: A Tale of 1001 Parameters.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2018

Active Sampling for Closed-Loop Statistical Verification of Uncertain Nonlinear Systems.

[BibT_eX]

[DOI]

Proceedings of the 2018 Annual American Control Conference, 2018

Closed-Loop Statistical Verification of Stochastic Nonlinear Systems Subject to Parametric Uncertainties.

[BibT_eX]

[DOI]

Proceedings of the 2018 Annual American Control Conference, 2018

Inverse Optimal Control with Regular Language Specifications.

[BibT_eX]

[DOI]

Ivan Papusha

Proceedings of the 2018 Annual American Control Conference, 2018

A Randomized Greedy Algorithm for Near-Optimal Sensor Scheduling in Large-Scale Sensor Networks.

[BibT_eX]

[DOI]

Proceedings of the 2018 Annual American Control Conference, 2018

Verification of Markov Decision Processes with Risk-Sensitive Measures.

[BibT_eX]

[DOI]

Proceedings of the 2018 Annual American Control Conference, 2018

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

[BibT_eX]

[DOI]

Proceedings of the 2018 Annual American Control Conference, 2018

Control-Oriented Learning of Lagrangian and Hamiltonian Systems.

[BibT_eX]

[DOI]

Mohamadreza Ahmadi

Clarence W. Rowley

Proceedings of the 2018 Annual American Control Conference, 2018

Distributed Synthesis Using Accelerated ADMM.

[BibT_eX]

[DOI]

Proceedings of the 2018 Annual American Control Conference, 2018

Entropy Maximization for Constrained Markov Decision Processes.

[BibT_eX]

[DOI]

Proceedings of the 56th Annual Allerton Conference on Communication, 2018

Deception in Optimal Control.

[BibT_eX]

[DOI]

Proceedings of the 56th Annual Allerton Conference on Communication, 2018

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

[BibT_eX]

[DOI]

Matija Bucic

Proceedings of the 56th Annual Allerton Conference on Communication, 2018

Verification of Uncertain POMDPs Using Barrier Certificates.

[BibT_eX]

[DOI]

Proceedings of the 56th Annual Allerton Conference on Communication, 2018

Stochastic Games with Sensing Costs.

[BibT_eX]

[DOI]

Proceedings of the 56th Annual Allerton Conference on Communication, 2018

Sensor Synthesis for POMDPs with Reachability Objectives.

[BibT_eX]

[DOI]

Krishnendu Chatterjee

Martin Chmelik

Proceedings of the Twenty-Eighth International Conference on Automated Planning and Scheduling, 2018

Compositional Analysis of Hybrid Systems Defined Over Finite Alphabets.

[BibT_eX]

[DOI]

Proceedings of the 6th IFAC Conference on Analysis and Design of Hybrid Systems, 2018

Safe Reinforcement Learning via Shielding.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

2017

Distributed Charging Control of Electric Vehicles Using Online Learning.

[BibT_eX]

[DOI]

Wann-Jiun Ma

IEEE Trans. Autom. Control., 2017

Differentially Private Distributed Constrained Optimization.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2017

Shield synthesis.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2017

Control-Oriented Learning on the Fly.

[BibT_eX]

[DOI]

CoRR, 2017

Active Sampling-based Binary Verification of Dynamical Systems.

[BibT_eX]

[DOI]

CoRR, 2017

Active Sampling for Constrained Simulation-based Verification of Uncertain Nonlinear Systems.

[BibT_eX]

[DOI]

CoRR, 2017

Environment-Independent Task Specifications via GLTL.

[BibT_eX]

[DOI]

Michael L. Littman

Charles Lee Isbell Jr.

James MacGlashan

CoRR, 2017

Sequential Convex Programming for the Efficient Verification of Parametric MDPs.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

Classification error correction: A case study in brain-computer interfacing.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2017

Learning from Demonstrations with High-Level Side Information.

[BibT_eX]

[DOI]

Ivan Papusha

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Reduction Techniques for Model Checking and Learning in MDPs.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Sampling-based Approximate Optimal Control Under Temporal Logic Constraints.

[BibT_eX]

[DOI]

Ivan Papusha

Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, 2017

Motion planning under partial observability using game-based abstraction.

[BibT_eX]

[DOI]

Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

Robustness of classifier-in-the-loop control systems: A hybrid-systems approach.

[BibT_eX]

[DOI]

Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

Safety assessemt based on physically-viable data-driven models.

[BibT_eX]

[DOI]

Mohamadreza Ahmadi

Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

Quantification on the efficiency gain of automated ridesharing services.

[BibT_eX]

[DOI]

Proceedings of the 2017 American Control Conference, 2017

Synthesis of shared control protocols with provable safety and performance guarantees.

[BibT_eX]

[DOI]

Proceedings of the 2017 American Control Conference, 2017

2016

Synthesis of Shared Autonomy Policies With Temporal Logic Specifications.

[BibT_eX]

[DOI]

IEEE Trans Autom. Sci. Eng., 2016

Synthesis of Human-in-the-Loop Control Protocols for Autonomous Systems.

[BibT_eX]

[DOI]

IEEE Trans Autom. Sci. Eng., 2016

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

[BibT_eX]

[DOI]

Andrew G. Lamperski

IEEE Trans. Autom. Control., 2016

Synthesis of Joint Control and Active Sensing Strategies Under Temporal Logic Constraints.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2016

Manifold-Following Approximate Solution of Completely Hypersensitive Optimal Control Problems.

[BibT_eX]

[DOI]

Erkut Aykutlug

Kenneth D. Mease

J. Optim. Theory Appl., 2016

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

[BibT_eX]

[DOI]

CoRR, 2016

Risk-Averse ω-regular Markov Decision Process Control.

[BibT_eX]

[DOI]

CoRR, 2016

Characterizing two-timescale nonlinear dynamics using finite-time Lyapunov exponents and subspaces.

[BibT_eX]

[DOI]

Commun. Nonlinear Sci. Numer. Simul., 2016

An Automaton Learning Approach to Solving Safety Games over Infinite Graphs.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

Safety-Constrained Reinforcement Learning for MDPs.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

Human-interpretable diagnostic information for robotic planning systems.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2016

Probably Approximately Correct Learning in Stochastic Games with Temporal Logic Specifications.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

Optimal temporal logic planning in probabilistic semantic maps.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE International Conference on Robotics and Automation, 2016

Case Studies in Data-Driven Verification of Dynamical Systems.

[BibT_eX]

[DOI]

Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, 2016

Compositional Synthesis with Parametric Reactive Controllers.

[BibT_eX]

[DOI]

Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, 2016

Synthesis of Admissible Shields.

[BibT_eX]

[DOI]

Proceedings of the Hardware and Software: Verification and Testing, 2016

High-level planner synthesis for whole-body locomotion in unstructured environments.

[BibT_eX]

[DOI]

Ye Zhao

Luis Sentis

Proceedings of the 55th IEEE Conference on Decision and Control, 2016

Filter-based stochastic abstractions for constrained planning with limited sensing.

[BibT_eX]

[DOI]

Proceedings of the 55th IEEE Conference on Decision and Control, 2016

Automata theory meets approximate dynamic programming: Optimal control with temporal logic constraints.

[BibT_eX]

[DOI]

Proceedings of the 55th IEEE Conference on Decision and Control, 2016

Risk-averse control of Markov decision processes with ω-regular objectives.

[BibT_eX]

[DOI]

Proceedings of the 55th IEEE Conference on Decision and Control, 2016

Robust optimal policies for Markov decision processes with safety-threshold constraints.

[BibT_eX]

[DOI]

Proceedings of the 55th IEEE Conference on Decision and Control, 2016

Compositional Synthesis of Reactive Controllers for Multi-agent Systems.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 28th International Conference, 2016

Region-of-convergence estimation for learning-based adaptive controllers.

[BibT_eX]

[DOI]

Proceedings of the 2016 American Control Conference, 2016

Event-based information-theoretic privacy: A case study of smart meters.

[BibT_eX]

[DOI]

Proceedings of the 2016 American Control Conference, 2016

Probabilistic Verification for Cognitive Models.

[BibT_eX]

[DOI]

Proceedings of the 2016 AAAI Fall Symposia, Arlington, Virginia, USA, November 17-19, 2016, 2016

2015

Specification and Synthesis of Reactive Protocols for Aircraft Electric Power Distribution.

[BibT_eX]

[DOI]

Huan Xu

IEEE Trans. Control. Netw. Syst., 2015

Exact Convex Relaxation of Optimal Power Flow in Radial Networks.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2015

Convex Optimal Uncertainty Quantification.

[BibT_eX]

[DOI]

SIAM J. Optim., 2015

Strategy Synthesis for Stochastic Rabin Games with Discounted Reward.

[BibT_eX]

[DOI]

CoRR, 2015

Strategy Synthesis for Stochastic Games with Multiple Long-Run Objectives.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

Pattern-Based Refinement of Assume-Guarantee Specifications in Reactive Synthesis.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

Correct-by-synthesis reinforcement learning with temporal logic constraints.

[BibT_eX]

[DOI]

Proceedings of the 2015 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2015

Pareto efficiency in synthesizing shared autonomy policies with temporal logic constraints.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Robotics and Automation, 2015

Controller synthesis for autonomous systems interacting with human operators.

[BibT_eX]

[DOI]

Proceedings of the ACM/IEEE Sixth International Conference on Cyber-Physical Systems, 2015

Estimator-based reactive synthesis under incomplete information.

[BibT_eX]

[DOI]

Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015

A sublinear algorithm for barrier-certificate-based data-driven model validation of dynamical systems.

[BibT_eX]

[DOI]

Proceedings of the 54th IEEE Conference on Decision and Control, 2015

Computational methods for stochastic control with metric interval temporal logic specifications.

[BibT_eX]

[DOI]

Proceedings of the 54th IEEE Conference on Decision and Control, 2015

Optimal control in Markov decision processes via distributed optimization.

[BibT_eX]

[DOI]

Proceedings of the 54th IEEE Conference on Decision and Control, 2015

An approximately truthful mechanism for electric vehicle charging via joint differential privacy.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2015

Value of forecasts in planning under uncertainty.

[BibT_eX]

[DOI]

Konstantinos Gatsis

Proceedings of the American Control Conference, 2015

Integrating active sensing into reactive synthesis with temporal logic constraints under partial observations.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2015

2014

Design and Stability of Load-Side Primary Frequency Control in Power Systems.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2014

Control Software Synthesis and Validation for a Vehicular Electric Power Distribution Testbed.

[BibT_eX]

[DOI]

J. Aerosp. Inf. Syst., 2014

Probably Approximately Correct MDP Learning and Control With Temporal Logic Constraints.

[BibT_eX]

[DOI]

Proceedings of the Robotics: Science and Systems X, 2014

Optimization-based trajectory generation with linear temporal logic specifications.

[BibT_eX]

[DOI]

Proceedings of the 2014 IEEE International Conference on Robotics and Automation, 2014

Resilience to intermittent assumption violations in reactive synthesis.

[BibT_eX]

[DOI]

Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2014

Distributed charging control of electric vehicles using regret minimization.

[BibT_eX]

[DOI]

Wann-Jiun Ma

Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

Differentially private convex optimization with piecewise affine objectives.

[BibT_eX]

[DOI]

Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

On distributed charging control of electric vehicles with power network capacity constraints.

[BibT_eX]

[DOI]

Wann-Jiun Ma

Proceedings of the American Control Conference, 2014

Abstractions and sensor design in partial-information, reactive controller synthesis.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2014

Differentially private distributed protocol for electric vehicle charging.

[BibT_eX]

[DOI]

Proceedings of the 52nd Annual Allerton Conference on Communication, 2014

Formal Specification and Synthesis of Mission Plans for Unmanned Aerial Vehicles.

[BibT_eX]

[DOI]

Laura R. Humphrey

Proceedings of the 2014 AAAI Spring Symposia, 2014

2013

Synthesis of Reactive Switching Protocols From Temporal Logic Specifications.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2013

Real-time deferrable load control: handling the uncertainties of renewable generation.

[BibT_eX]

[DOI]

SIGMETRICS Perform. Evaluation Rev., 2013

Power System Dynamics as Primal-Dual Algorithm for Optimal Load Control

[BibT_eX]

[DOI]

CoRR, 2013

Exact convex relaxation for optimal power flow in distribution networks.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGMETRICS / International Conference on Measurement and Modeling of Computer Systems, 2013

Automaton-guided controller synthesis for nonlinear systems with temporal logic.

[BibT_eX]

[DOI]

Proceedings of the 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2013

Efficient reactive controller synthesis for a fragment of linear temporal logic.

[BibT_eX]

[DOI]

Proceedings of the 2013 IEEE International Conference on Robotics and Automation, 2013

Automated synthesis of reactive controllers for software-defined networks.

[BibT_eX]

[DOI]

Proceedings of the 2013 21st IEEE International Conference on Network Protocols, 2013

An aircraft electric power testbed for validating automatically synthesized reactive control protocols.

[BibT_eX]

[DOI]

Proceedings of the 16th international conference on Hybrid systems: computation and control, 2013

Counter-strategy guided refinement of GR(1) temporal logic specifications.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods in Computer-Aided Design, 2013

Optimal control of non-deterministic systems for a computationally efficient fragment of temporal logic.

[BibT_eX]

[DOI]

Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

Risk-limiting power grid control with an ARMA-based prediction model.

[BibT_eX]

[DOI]

Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

Optimal power flow in tree networks.

[BibT_eX]

[DOI]

Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

Towards smart, flexible and efficient power systems: Vision and research challenges.

[BibT_eX]

[DOI]

Pramod P. Khargonekar

Proceedings of the American Control Conference, 2013

Convexifying optimal power flow: Recent advances in OPF solution methods.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2013

Convex optimal uncertainty quantification: Algorithms and a case study in energy storage placement for power grids.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2013

2012

Receding Horizon Temporal Logic Planning.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2012

Synthesis of Reactive Protocols for Vehicle-to-Vehicle Communication

[BibT_eX]

[DOI]

Clemens Wiltsche

CoRR, 2012

Swing dynamics as primal-dual algorithm for optimal load control.

[BibT_eX]

[DOI]

Changhong Zhao

Proceedings of the IEEE Third International Conference on Smart Grid Communications, 2012

Optimal Control with Weighted Average Costs and Temporal Logic Specifications.

[BibT_eX]

[DOI]

Proceedings of the Robotics: Science and Systems VIII, 2012

Towards formal synthesis of reactive controllers for dexterous robotic manipulation.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Robotics and Automation, 2012

On synthesizing robust discrete controllers under modeling uncertainty.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems: Computation and Control (part of CPS Week 2012), 2012

A case study on reactive protocols for aircraft electric power distribution.

[BibT_eX]

[DOI]

Huan Xu

Proceedings of the 51th IEEE Conference on Decision and Control, 2012

Robust control of uncertain Markov Decision Processes with temporal logic specifications.

[BibT_eX]

[DOI]

Proceedings of the 51th IEEE Conference on Decision and Control, 2012

Reactive controllers for differentially flat systems with temporal logic constraints.

[BibT_eX]

[DOI]

Proceedings of the 51th IEEE Conference on Decision and Control, 2012

On the exactness of convex relaxation for optimal power flow in tree networks.

[BibT_eX]

[DOI]

Proceedings of the 51th IEEE Conference on Decision and Control, 2012

Optimal placement of energy storage in the grid.

[BibT_eX]

[DOI]

Proceedings of the 51th IEEE Conference on Decision and Control, 2012

Some problems in demand side management.

[BibT_eX]

[DOI]

Proceedings of the Asia-Pacific Signal and Information Processing Association Annual Summit and Conference, 2012

Frequency-based load control in power systems.

[BibT_eX]

[DOI]

Changhong Zhao

Proceedings of the American Control Conference, 2012

Risk-mitigated optimal power flow for wind powered grids.

[BibT_eX]

[DOI]

Emma Sjodin

Proceedings of the American Control Conference, 2012

Temporal logic control of switched affine systems with an application in fuel balancing.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2012

Switching protocol synthesis for temporal logic specifications.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2012

2011

Optimization-Based Constrained Iterative Learning Control.

[BibT_eX]

[DOI]

Sandipan Mishra

Masayoshi Tomizuka

IEEE Trans. Control. Syst. Technol., 2011

Rigorous uncertainty quantification without integral testing.

[BibT_eX]

[DOI]

Reliab. Eng. Syst. Saf., 2011

Correct, Reactive, High-Level Robot Control.

[BibT_eX]

[DOI]

Hadas Kress-Gazit

IEEE Robotics Autom. Mag., 2011

Analysis of autocatalytic networks in biology.

[BibT_eX]

[DOI]

Gentian Buzi

John C. Doyle

Autom., 2011

Optimal design of hybrid energy system with PV/wind turbine/storage: A case study.

[BibT_eX]

[DOI]

Christopher R. Clarke

Proceedings of the IEEE Second International Conference on Smart Grid Communications, 2011

Distributed Synthesis of Control Protocols for Smart Camera Networks.

[BibT_eX]

[DOI]

Necmiye Ozay

Proceedings of the 2011 IEEE/ACM International Conference on Cyber-Physical Systems, 2011

TuLiP: a software toolbox for receding horizon temporal logic planning.

[BibT_eX]

[DOI]

Proceedings of the 14th ACM International Conference on Hybrid Systems: Computation and Control, 2011

Distributed power allocation for vehicle management systems.

[BibT_eX]

[DOI]

Necmiye Ozay

Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011

Optimal decentralized protocol for electric vehicle charging.

[BibT_eX]

[DOI]

Lingwen Gan

Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011

Optimal power flow with distributed energy storage dynamics.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2011

2010

Robust Region-of-Attraction Estimation.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2010

Receding horizon control for temporal logic specifications.

[BibT_eX]

[DOI]

Proceedings of the 13th ACM International Conference on Hybrid Systems: Computation and Control, 2010

A simple optimal power flow model with energy storage.

[BibT_eX]

[DOI]

Proceedings of the 49th IEEE Conference on Decision and Control, 2010

Compositional analysis of autocatalytic networks in biology.

[BibT_eX]

[DOI]

Gentian Buzi

John C. Doyle

Proceedings of the American Control Conference, 2010

Quantitative nonlinear analysis of autocatalytic pathways with applications to glycolysis.

[BibT_eX]

[DOI]

Gentian Buzi

John C. Doyle

Proceedings of the American Control Conference, 2010

Load-shedding probabilities with hybrid renewable power generation and energy storage.

[BibT_eX]

[DOI]

Huan Xu

Christopher R. Clarke

K. Mani Chandy

Proceedings of the 48th Annual Allerton Conference on Communication, 2010

Automatic Synthesis of Robust Embedded Control Software.

[BibT_eX]

[DOI]

Proceedings of the Embedded Reasoning, 2010

2009

Local Stability Analysis for Uncertain Nonlinear Systems.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2009

Parameter-Dependent Lyapunov Functions for Linear Systems With Constant Uncertainties.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2009

Parameter estimation with expected and residual-at-risk criteria.

[BibT_eX]

[DOI]

Giuseppe Carlo Calafiore

Laurent El Ghaoui

Syst. Control. Lett., 2009

Stability region estimation for systems with unmodeled dynamics.

[BibT_eX]

[DOI]

Proceedings of the 10th European Control Conference, 2009

Receding horizon temporal logic planning for dynamical systems.

[BibT_eX]

[DOI]

Proceedings of the 48th IEEE Conference on Decision and Control, 2009

Compositional stability analysis based on dual decomposition.

[BibT_eX]

[DOI]

Proceedings of the 48th IEEE Conference on Decision and Control, 2009

Linearized analysis versus optimization-based nonlinear analysis for nonlinear systems.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2009

Local robust performance analysis for nonlinear dynamical systems.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2009

Iterative learning control with saturation constraints.

[BibT_eX]

[DOI]

Sandipan Mishra

Masayoshi Tomizuka

Proceedings of the American Control Conference, 2009

2008

Local stability analysis using simulations and sum-of-squares programming.

[BibT_eX]

[DOI]

Peter J. Seiler

Autom., 2008

Multistage investments with recourse: A single-asset case with transaction costs.

[BibT_eX]

[DOI]

Giuseppe Carlo Calafiore

Laurent El Ghaoui

Proceedings of the 47th IEEE Conference on Decision and Control, 2008

Simulation-aided reachability and local gain analysis for nonlinear dynamical systems.

[BibT_eX]

[DOI]

Proceedings of the 47th IEEE Conference on Decision and Control, 2008

Local stability analysis for uncertain nonlinear systems using a branch-and-bound algorithm.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2008

2007

Stability region analysis for uncertain nonlinear systems.

[BibT_eX]

[DOI]

Proceedings of the 46th IEEE Conference on Decision and Control, 2007

Stability Region Analysis Using Simulations and Sum-of-Squares Programming.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2007

2006

Using Lyapunov Vectors and Dichotomy to Solve Hyper-Sensitive Optimal Control Problems.

[BibT_eX]

[DOI]