Toshimitsu Ushio
- Bounded Synthesis and Reinforcement Learning of Supervisors for Stochastic Discrete Event Systems with LTL Specifications
2021/05/07 by Ryohei Oura, Oura, Ryohei, Toshimitsu Ushio +3 · 2 citations
Computer Science · Engineering · #Petri Nets in System Modeling #Formal Methods in Verification #Flexible and Reconfigurable Manufacturing Systems
- Event-Triggered Control for Mitigating SIS Spreading Processes
2020/12/30 by Kazumune Hashimoto, Hashimoto, Kazumune, Yuga Onoue +5 · 1 citation
Mathematics · Physics and Astronomy · #COVID-19 epidemiological studies #Complex Network Analysis Techniques #FOS: Mathematics #Opinion Dynamics and Social Influence #Optimization and Control (math.OC)