Export Citations
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
- research-articleAugust 2023
Policy Updating Methods of Q Learning for Two Player Bargaining Game
PRIS '23: Proceedings of the 2023 5th International Conference on Pattern Recognition and Intelligent SystemsPages 51–58https://doi.org/10.1145/3609703.3609722Reinforcement learning algorithms have been used to discover the strategies in game theory. This study investigates whether Q learning, one of the classic reinforcement learning methods, is capable of training bargaining players via self-play, a ...
- research-articleAugust 2023
Survey of the Formal Verification of Operating Systems in Power Monitoring System
PRIS '23: Proceedings of the 2023 5th International Conference on Pattern Recognition and Intelligent SystemsPages 65–70https://doi.org/10.1145/3609703.3609714The formal verification of the operating systems in power monitoring system is an important means to ensure the security of the operating system in power monitoring system. This paper introduces the verification principles and framework of formal ...