Tzu-Han Hsu

1. Bounded Model Checking for Hyperproperties
   2020/09/18 by Tzu-Han Hsu, César Sánchez, Hsu, Tzu-Han +3 · 5 citations
   Computer Science · #Cryptography and Security (cs.CR) #Distributed systems and fault tolerance #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Real-Time Systems Scheduling #Software Testing and Debugging Techniques
2. Efficient Loop Conditions for Bounded Model Checking Hyperproperties
   2023/01/15 by Tzu-Han Hsu, Hsu, Tzu-Han, César Sánchez +5 · 2 citations
   Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Software Testing and Debugging Techniques #Web Application Security Vulnerabilities
3. Bounded Model Checking for Asynchronous Hyperproperties
   2023/01/17 by Tzu-Han Hsu, Borzoo Bonakdarpour, Hsu, Tzu-Han +5 · 2 citations
   Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Real-Time Systems Scheduling #Security and Verification in Computing
4. HypRL: Reinforcement Learning of Control Policies for Hyperproperties
   2025/04/07 by Tzu-Han Hsu, Hsu, Tzu-Han, Arshia Rafieioskouei +3 · 2 citations
   Computer Science · Engineering · #Adversarial Robustness in Machine Learning #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Reinforcement Learning in Robotics #Robot Manipulation and Learning