Synthesis of Pareto-optimal Policies for Continuous-Time Markov Decision Processes

Related Articles

• Markov Decision Processes Based Optimal Control Policies for Probabilistic Boolean Networks
  Fourth IEEE Symposium on Bioinformatics and Bioengineering (BIBE'04)
• Target-pursuing policies for open multiclass queueing networks
  IEEE INFOCOM 2003. Twenty-second Annual Joint Conference of the IEEE Computer and Communications Societies
• A Bayesian network approach to control of networked Markov decision processes
  2008 46th Annual Allerton Conference on Communication, Control, and Computing
• Customization of arbitration policies and buffer space distribution using continuous-time Markov decision processes
  IEEE Transactions on Very Large Scale Integration (VLSI) Systems
• Optimal power and retransmission control policies for random access systems
  IEEE/ACM Transactions on Networking
• When Cyber-Physical Systems Meet AI: A Benchmark, an Evaluation, and a Way Forward
  2022 IEEE/ACM 44th International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP)
• Verifying Safety for Resilient Cyber-Physical Systems via Reactive Software Restart
  2022 ACM/IEEE 13th International Conference on Cyber-Physical Systems (ICCPS)
• A Blockchain-based Security Management Framework for Cyber-Physical Systems
  2023 IEEE/ACM 23rd International Symposium on Cluster, Cloud and Internet Computing Workshops (CCGridW)
• Optimal Defense Policies for Cost-Constrained Cyber Physical System
  2020 Eighth International Conference on Advanced Cloud and Big Data (CBD)
• SWAT tool at the SBST 2021 Tool Competition
  2021 IEEE/ACM 14th International Workshop on Search-Based Software Testing (SBST)