Ian Stark
- Technical Report: Property-Directed Verified Monitoring of Signal\n Temporal Logic
2020/08/14 by Thomas Wright, Wright, Thomas, Ian Stark +1 · 1 citation
Computer Science · Decision Sciences · Engineering · #Embedded Systems Design Techniques #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Real-time simulation and control systems #Simulation Techniques and Applications