Tomoya Yamaguchi
- RTAMT: Online Robustness Monitors from STL
2020/05/24 by Dejan Ničković, Nickovic, Dejan, Tomoya Yamaguchi +1 · 4 citations
Computer Science · #Formal Methods in Verification #Logic, programming, and type systems #Model-Driven Software Engineering Techniques
- Safe Navigation in Human Occupied Environments Using Sampling and Control Barrier Functions
2021/05/03 by Keyvan Majd, Majd, Keyvan, Shakiba Yaghoubi +9 · 2 citations
Engineering · #Autonomous Vehicle Technology and Safety #Evacuation and Crowd Dynamics #FOS: Computer and information sciences #FOS: Electrical engineering #Robotics (cs.RO) #Systems and Control (eess.SY) #Vehicular Ad Hoc Networks (VANETs) #electronic engineering #information engineering
- Timed Partial Order Inference Algorithm
2023/02/05 by Kandai Watanabe, Watanabe, Kandai, Bardh Hoxha +11 · 1 citation
Business, Management and Accounting · Computer Science · #Business Process Modeling and Analysis #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Formal Methods in Verification #Software System Performance and Reliability