Sadra Sadraddini
- Metrics for Signal Temporal Logic Formulae
2018/08/01 by Curtis Madsen, Prashant Vaidyanathan, Madsen, Curtis +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
- Sampling-based Polytopic Trees for Approximate Optimal Control of\n Piecewise Affine Systems
2018/09/25 by Sadra Sadraddini, Sadraddini, Sadra, Russ Tedrake +1 · 2 citations
Computer Science · Engineering · #FOS: Computer and information sciences #FOS: Electrical engineering #FOS: Mathematics #Formal Methods in Verification #Optimization and Control (math.OC) #Prosthetics and Rehabilitation Robotics #Robotic Locomotion and Control #Robotics (cs.RO) #Systems and Control (eess.SY) #electronic engineering #information engineering