EECS Theories 21

• Expressive Power among LTL, Buchi Automata, Rabin Automaa and Omega-regular language May 14, 2024
• Control 00 Apr 25, 2024
• Digital Twins 00 Apr 22, 2024
• Approximation Theory Feb 2, 2024
• Z3 (Python API) Jan 21, 2024
• Strongly Connected Component (SCC) Jan 16, 2024
• Fairness in Formal Verification Jan 16, 2024
• Optimization Overview Jan 14, 2024
• Partially Observable Markov Decision Processe Jan 5, 2024
• Afine Hull vs. Convex Hull Dec 18, 2023
• TRADES--Threat and Rist Assessment for Design of Engineered Systems Aug 20, 2023
• Linear Programming Jul 11, 2023
• Markov Chains Jun 5, 2023
• Usage of Prism May 28, 2023
• Probabilistic Model Checking May 15, 2023
• Operating System 00 May 6, 2023
• Stackelberg Equilibrium in Stochastic Games May 3, 2023
• Deep Learning in Healthcare (Summary) Mar 30, 2023
• Concurrent Stochastic Game Jan 28, 2023
• Basic Game Theory for Automatic Verification Jan 28, 2023
• Automatic Verification of Concurrent Stochastic Systems Jan 28, 2023