Mixed H2/H∞ Control for Networked Control Systems (NCSs) with Markovian Packet-Loss. - Jie Fu 002; Yaping Dai (WISM, 2009)

An Algebraic Characterization of Strictly Piecewise Languages. - Jie Fu 002; Jeffrey Heinz; Herbert G. Tanner (TAMC, 2011)

Optimal planning on register automata. - Jie Fu 002; Herbert G. Tanner (ACC, 2012)

Finite abstractions for hybrid systems with stable continuous dynamics. - Herbert G. Tanner; Jie Fu 002; Chetan Rawal; Jorge L. Piovesan; Chaouki T. Abdallah (Discret. Event Dyn. Syst., 2012)

Integrating Grammatical Inference into Robotic Planning. - Jane Chandlee; Jie Fu 002; Konstantinos Karydis; Cesar Koirala; Jeffrey Heinz; Herbert G. Tanner (ICGI, 2012)

Hierarchical control via approximate simulation and feedback linearization. - Jie Fu 002; Shridhar K. Shah; Herbert G. Tanner (ACC, 2013)

Adaptive planning in unknown environments using grammatical inference. - Jie Fu 002; Herbert G. Tanner; Jeffrey Heinz (CDC, 2013)

Bottom-Up Symbolic Control: Attractor-Based Planning and Behavior Synthesis. - Jie Fu 002; Herbert G. Tanner (IEEE Trans. Autom. Control., 2013)

Abstractions and sensor design in partial-information, reactive controller synthesis. - Jie Fu 002; Rayna Dimitrova; Ufuk Topcu (ACC, 2014)

Probably Approximately Correct MDP Learning and Control With Temporal Logic Constraints. - Jie Fu 002; Ufuk Topcu (Robotics: Science and Systems, 2014)

Adaptive Symbolic Control for Finite-State Transition Systems With Grammatical Inference. - Jie Fu 002; Herbert G. Tanner; Jeffrey Heinz; Jane Chandlee (IEEE Trans. Autom. Control., 2014)

Integrating active sensing into reactive synthesis with temporal logic constraints under partial observations. - Jie Fu 002; Ufuk Topcu (ACC, 2015)

Optimal control in Markov decision processes via distributed optimization. - Jie Fu 002; Shuo Han 002; Ufuk Topcu (CDC, 2015)

Computational methods for stochastic control with metric interval temporal logic specifications. - Jie Fu 002; Ufuk Topcu (CDC, 2015)

Pareto efficiency in synthesizing shared autonomy policies with temporal logic constraints. - Jie Fu 002; Ufuk Topcu (ICRA, 2015)

Symbolic planning and control using game theory and grammatical inference. - Jie Fu 002; Herbert G. Tanner; Jeffrey Heinz; Konstantinos Karydis; Jane Chandlee; Cesar Koirala (Eng. Appl. Artif. Intell., 2015)

Robust optimal policies for Markov decision processes with safety-threshold constraints. - Rayna Dimitrova; Jie Fu 002; Ufuk Topcu (CDC, 2016)

Automata theory meets approximate dynamic programming: Optimal control with temporal logic constraints. - Ivan Papusha; Jie Fu 002; Ufuk Topcu; Richard M. Murray (CDC, 2016)

Scalable user assignment in power grids: a data driven approach. - Bo Lyu; Shijian Li; Yanhua Li; Jie Fu 002; Andrew C. Trapp; Haiyong Xie 001; Yong Liao (SIGSPATIAL/GIS, 2016)

Optimal temporal logic planning in probabilistic semantic maps. - Jie Fu 002; Nikolay Atanasov 001; Ufuk Topcu; George J. Pappas (ICRA, 2016)

Importance sampling-based approximate optimal planning and control. - Jie Fu 002 (CoRR, 2016)

Synthesis of Joint Control and Active Sensing Strategies Under Temporal Logic Constraints. - Jie Fu 002; Ufuk Topcu (IEEE Trans. Autom. Control., 2016)

Synthesis of Shared Autonomy Policies With Temporal Logic Specifications. - Jie Fu 002; Ufuk Topcu (IEEE Trans Autom. Sci. Eng., 2016)

Data-driven inverse learning of passenger preferences in urban public transits. - Guojun Wu; Yichen Ding; Yanhua Li; Jun Luo 007; Fan Zhang 019; Jie Fu 002 (CDC, 2017)

Sampling-based Approximate Optimal Control Under Temporal Logic Constraints. - Jie Fu 002; Ivan Papusha; Ufuk Topcu (HSCC, 2017)

Sampling-based approximate optimal temporal logic planning. - Lening Li; Jie Fu 002 (ICRA, 2017)

Environment-Independent Task Specifications via GLTL. - Michael L. Littman; Ufuk Topcu; Jie Fu 002; Charles Lee Isbell Jr.; Min Wen; James MacGlashan (CoRR, 2017)

Adapting to Flexibility: Model Reference Adaptive Control of Soft Bending Actuators. - Erik H. Skorina; Ming Luo 004; Weijia Tao; Fuchen Chen; Jie Fu 002; Çagdas D. Önal (IEEE Robotics Autom. Lett., 2017)

Human-in-the-Loop Synthesis for Partially Observable Markov Decision Processes. - Steven Carr 002; Nils Jansen 001; Ralf Wimmer 001; Jie Fu 002; Ufuk Topcu (ACC, 2018)

A Compositional Approach to Reactive Games under Temporal Logic Specifications. - Abhishek Ninad Kulkarni; Jie Fu 002 (ACC, 2018)

Minimum Violation Control Synthesis on Cyber-Physical Systems under Attacks. - Luyao Niu; Jie Fu 002; Andrew Clark 001 (CDC, 2018)

Expedited Learning in MDPs with Side Information. - Melkior Ornik; Jie Fu 002; Niklas T. Lauffer; W. K. Perera; Mohammed Alshiekh; Masahiro Ono; Ufuk Topcu (CDC, 2018)

Opportunistic Synthesis in Reactive Games under Information Asymmetry. - Jie Fu 002 (Allerton, 2019)

Approximate Dynamic Programming with Probabilistic Temporal Logic Constraints. - Lening Li; Jie Fu 002 (ACC, 2019)

Compositional planning in Markov decision processes: Temporal abstraction meets generalized logic composition. - Xuan Liu; Jie Fu 002 (ACC, 2019)

Exploiting Beneficial Information Sharing Among Autonomous Vehicles. - Songyang Han; Jie Fu 002; Fei Miao (CDC, 2019)

Opportunistic Synthesis in Reactive Games under Information Asymmetry. - Abhishek Ninad Kulkarni; Jie Fu 002 (CDC, 2019)

Topological Approximate Dynamic Programming under Temporal Logic Constraints. - Lening Li; Jie Fu 002 (CDC, 2019)

A Validated Physical Model For Real-Time Simulation of Soft Robotic Snakes. - Renato Gasoto; Miles Macklin; Xuan Liu; Yinan Sun; Kenny Erleben; Cagdas D. Onal; Jie Fu 002 (ICRA, 2019)

Scalable User-Substation Assignment with Big Data from Power Grids. - Bo Lyu; Yanhua Li; Jie Fu 002; Andrew C. Trapp; Haiyong Xie 001; Yong Liao (IEEE Trans. Big Data, 2019)

A Receding-Horizon MDP Approach for Performance Evaluation of Moving Target Defense in Networks. - Zhentian Qian; Jie Fu 002; Quanyan Zhu (CCTA, 2020)

Decoy Allocation Games on Graphs with Temporal Logic Objectives. - Abhishek Ninad Kulkarni; Jie Fu 002; Huan Luo; Charles A. Kamhoua; Nandi O. Leslie (GameSec, 2020)

Synthesis of Deceptive Strategies in Reachability Games with Action Misperception. - Abhishek Ninad Kulkarni; Jie Fu 002 (IJCAI, 2020)

Learning to Locomote with Artificial Neural-Network and CPG-based Control in a Soft Snake Robot. - Xuan Liu; Renato Gasoto; Ziyi Jiang; Cagdas D. Onal; Jie Fu 002 (IROS, 2020)

Learning to Locomote with Deep Neural-Network and CPG-based Control in a Soft Snake Robot. - Xuan Liu; Renato Gasoto; Cagdas D. Onal; Jie Fu 002 (CoRR, 2020)

Secure-by-synthesis network with active deception and temporal logic specifications. - Jie Fu 002; Abhishek Ninad Kulkarni; Huan Luo; Nandi O. Leslie; Charles A. Kamhoua (CoRR, 2020)

A Theory of Hypergames on Graphs for Synthesizing Dynamic Cyber Defense with Deception. - Abhishek Ninad Kulkarni; Jie Fu 002 (CoRR, 2020)

Attention-Based Planning with Active Perception. - Haoxiang Ma; Jie Fu 002 (CoRR, 2020)

Human Model-Based Active Driving System in Vehicular Dynamic Simulation. - Hideyuki Kimpara; Kenechukwu C. Mbanisi; Jie Fu 002; Zhi Li 004; Danil V. Prokhorov; Michael A. Gennert (IEEE Trans. Intell. Transp. Syst., 2020)

Probabilistic Planning with Preferences over Temporal Goals. - Jie Fu 002 (ACC, 2021)

Qualitative Planning in Imperfect Information Games with Active Sensing and Reactive Sensor Attacks: Cost of Unawareness. - Abhishek Ninad Kulkarni; Shuo Han 002; Nandi O. Leslie; Charles A. Kamhoua; Jie Fu 002 (CDC, 2021)

Attention-Based Probabilistic Planning with Active Perception. - Haoxiang Ma; Jie Fu 002 (ICRA, 2021)

Semantic SLAM with Autonomous Object-Level Data Association. - Zhentian Qian; Kartik Patath; Jie Fu 002; Jing Xiao 001 (ICRA, 2021)

Synthesis of Deceptive Strategies in Reachability Games with Action Misperception (Technical Report). - Abhishek Ninad Kulkarni; Jie Fu 002 (CoRR, 2021)

Policy Synthesis for Metric Interval Temporal Logic with Probabilistic Distributions. - Lening Li; Jie Fu 002 (CoRR, 2021)

Learning Contact-aware CPG-based Locomotion in a Soft Snake Robot. - Xuan Liu; Cagdas D. Onal; Jie Fu 002 (CoRR, 2021)

Deceptive Labeling: Hypergames on Graphs for Stealthy Deception. - Abhishek Ninad Kulkarni; Huan Luo; Nandi O. Leslie; Charles A. Kamhoua; Jie Fu 002 (IEEE Control. Syst. Lett., 2021)

Optimal Minimum Violation Control Synthesis of Cyber-Physical Systems Under Attacks. - Luyao Niu; Jie Fu 002; Andrew Clark 001 (IEEE Trans. Autom. Control., 2021)

On Almost-Sure Intention Deception Planning that Exploits Imperfect Observers. - Jie Fu 002 (GameSec, 2022)

Opportunistic Qualitative Planning in Stochastic Systems with Preferences over Temporal Logic Objectives. - Abhishek Ninad Kulkarni; Jie Fu 002 (CoRR, 2022)

Towards Accurate Loop Closure Detection in Semantic SLAM With 3D Semantic Covisibility Graphs. - Zhentian Qian; Jie Fu 002; Jing Xiao 001 (IEEE Robotics Autom. Lett., 2022)

Opportunistic Qualitative Planning in Stochastic Systems with Incomplete Preferences over Reachability Objectives. - Abhishek Ninad Kulkarni; Jie Fu 002 (ACC, 2023)

Synthesis of Proactive Sensor Placement In Probabilistic Attack Graphs. - Lening Li; Haoxiang Ma; Shuo Han 002; Jie Fu 002 (ACC, 2023)

Optimal Decoy Resource Allocation for Proactive Defense in Probabilistic Attack Graphs. - Haoxiang Ma; Shuo Han 002; Nandi Leslie; Charles A. Kamhoua; Jie Fu 002 (AAMAS, 2023)

Quantitative Planning with Action Deception in Concurrent Stochastic Games. - Chongyang Shi 002; Shuo Han 002; Jie Fu 002 (AAMAS, 2023)

Synthesis of Opacity-Enforcing Winning Strategies Against Colluded Opponent. - Chongyang Shi 002; Abhishek Ninad Kulkarni; Hazhar Rahmani; Jie Fu 002 (CDC, 2023)

Optimal Resource Allocation for Proactive Defense with Deception in Probabilistic Attack Graphs. - Haoxiang Ma; Shuo Han 002; Charles A. Kamhoua; Jie Fu 002 (GameSec, 2023)

Opacity-Enforcing Active Perception and Control Against Eavesdropping Attacks. - Sumukha Udupa; Hazhar Rahmani; Jie Fu 002 (GameSec, 2023)

Probabilistic Planning with Partially Ordered Preferences over Temporal Goals. - Hazhar Rahmani; Abhishek Ninad Kulkarni; Jie Fu 002 (ICRA, 2023)

Probabilistic Planning with Prioritized Preferences over Temporal Logic Objectives. - Lening Li; Hazhar Rahmani; Jie Fu 002 (IJCAI, 2023)

Autonomous Search of Semantic Objects in Unknown Environments. - Zhentian Qian; Jie Fu 002; Jing Xiao 001 (CoRR, 2023)

Optimal Sensor Deception to Deviate from an Allowed Itinerary. - Hazhar Rahmani; Arash Ahadi; Jie Fu 002 (CoRR, 2023)

Technical Report: A Contact-aware Feedback CPG System for Learning-based Locomotion Control in a Soft Snake Robot. - Xuan Liu; Cagdas D. Onal; Jie Fu 002 (CoRR, 2023)

Covert Planning against Imperfect Observers. - Haoxiang Ma; Chongyang Shi 002; Shuo Han 002; Michael R. Dorothy; Jie Fu 002 (CoRR, 2023)

Optimizing Sensor Allocation Against Attackers With Uncertain Intentions: A Worst-Case Regret Minimization Approach. - Haoxiang Ma; Shuo Han 002; Charles A. Kamhoua; Jie Fu 002 (IEEE Control. Syst. Lett., 2023)

Synthesizing Attack-Aware Control and Active Sensing Strategies Under Reactive Sensor Attacks. - Sumukha Udupa; Abhishek Ninad Kulkarni; Shuo Han 002; Nandi O. Leslie; Charles A. Kamhoua; Jie Fu 002 (IEEE Control. Syst. Lett., 2023)

Dynamic Hypergames for Synthesis of Deceptive Strategies With Temporal Logic Objectives. - Lening Li; Haoxiang Ma; Abhishek Ninad Kulkarni; Jie Fu 002 (IEEE Trans Autom. Sci. Eng., 2023)

Reinforcement Learning of CPG-Regulated Locomotion Controller for a Soft Snake Robot. - Xuan Liu; Cagdas D. Onal; Jie Fu 002 (IEEE Trans. Robotics, 2023)

Covert Planning aganist Imperfect Observers. - Haoxiang Ma; Chongyang Shi 002; Shuo Han 002; Michael R. Dorothy; Jie Fu 002 (AAMAS, 2024)

Planning with Probabilistic Opacity and Transparency: A Computational Model of Opaque/Transparent Observations. - Sumukha Udupa; Jie Fu 002 (CDC, 2024)

Information-Theoretic Opacity-Enforcement in Markov Decision Processes. - Chongyang Shi 002; Yuheng Bu; Jie Fu 002 (IJCAI, 2024)

Preference-Based Planning in Stochastic Environments: From Partially-Ordered Temporal Goals to Most Preferred Policies. - Hazhar Rahmani; Abhishek Ninad Kulkarni; Jie Fu 002 (CoRR, 2024)

Robust Reward Design for Markov Decision Processes. - Shuo Wu; Haoxiang Ma; Jie Fu 002; Shuo Han 002 (CoRR, 2024)

Integrated Resource Allocation and Strategy Synthesis in Safety Games on Graphs with Deception. - Abhishek Ninad Kulkarni; Matthew S. Cohen; Charles A. Kamhoua; Jie Fu 002 (CoRR, 2024)

Nash Equilibrium in Games on Graphs with Incomplete Preferences. - Abhishek Ninad Kulkarni; Jie Fu 002; Ufuk Topcu (CoRR, 2024)

Reactive Synthesis of Sensor Revealing Strategies in Hypergames on Graphs. - Sumukha Udupa; Ahmed Hemida; Charles A. Kamhoua; Jie Fu 002 (CoRR, 2024)

Active Perception With Initial-State Uncertainty: A Policy Gradient Method. - Chongyang Shi 002; Shuo Han 002; Michael R. Dorothy; Jie Fu 002 (IEEE Control. Syst. Lett., 2024)

A Multi-Agent Reinforcement Learning Approach for Safe and Efficient Behavior Planning of Connected Autonomous Vehicles. - Songyang Han; Shanglin Zhou; Jiangwei Wang; Lynn Pepin; Caiwen Ding; Jie Fu 002; Fei Miao (IEEE Trans. Intell. Transp. Syst., 2024)

Simultaneously Search and Localize Semantic Objects in Unknown Environments. - Zhentian Qian; Jie Fu 002; Jing Xiao 001 (IEEE Robotics Autom. Lett., 2024)

Sequential Decision Making in Stochastic Games with Incomplete Preferences over Temporal Objectives. - Abhishek Ninad Kulkarni; Jie Fu 002; Ufuk Topcu (AAAI, 2025)

Synthesis of Dynamic Masks for Information-Theoretic Opacity in Stochastic Systems. - Sumukha Udupa; Chongyang Shi 002; Jie Fu 002 (ICCPS, 2025)

Adaptive Incentive Design for Markov Decision Processes with Unknown Rewards. - Haoxiang Ma; Shuo Han 002; Ahmed Hemida; Charles A. Kamhoua; Jie Fu 002 (Trans. Mach. Learn. Res., 2025)

Integrating Contact-Aware CPG System for Learning-Based Soft Snake Robot Locomotion Controllers. - Xuan Liu; Cagdas D. Onal; Jie Fu 002 (IEEE Trans. Robotics, 2025)

Active Inference through Incentive Design in Markov Decision Processes. - Xinyi Wei; Chongyang Shi 002; Shuo Han 002; Ahmed H. Anwar; Charles A. Kamhoua; Jie Fu 002 (CoRR, 2025)

Strategic Planning of Stealthy Backdoor Attacks in Markov Decision Processes. - Xinyi Wei; Shuo Han 002; Ahmed H. Anwar; Charles A. Kamhoua; Jie Fu 002 (CoRR, 2025)

Integrated Control and Active Perception in POMDPs for Temporal Logic Tasks and Information Acquisition. - Chongyang Shi 002; Michael R. Dorothy; Jie Fu 002 (CoRR, 2025)