Madsen, Curtis

1. Metrics for Signal Temporal Logic Formulae
   2018/08/01 by Curtis Madsen, Madsen, Curtis, Prashant Vaidyanathan +13 · 4 citations
   Computer Science · #Embedded Systems Design Techniques #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Model-Driven Software Engineering Techniques
2. Approximation Techniques for Stochastic Analysis of Biological Systems
   2019/01/22 by Neupane, Thakur, Zhang, Zhen, Madsen, Curtis +2 · 1 citation
   #Emerging Technologies (cs.ET) #FOS: Computer and information sciences