Akazaki, Takumi
- Time Robustness in MTL and Expressivity in Hybrid System Falsification (Extended Version)
2015/05/23 by Takumi Akazaki, Ichiro Hasuo, Akazaki, Takumi +1 · 1 citation
Computer Science · #Distributed systems and fault tolerance #FOS: Computer and information sciences #FOS: Electrical engineering #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Systems and Control (eess.SY) #VLSI and Analog Circuit Testing #electronic engineering #information engineering