Roland B. Ilyes
- Automaton-Guided Control Synthesis for Signal Temporal Logic Specifications
2022/07/08 by Qi Heng Ho, Roland B. Ilyes, Ho, Qi Heng +5 · 3 citations
Biochemistry, Genetics and Molecular Biology · Computer Science · #FOS: Computer and information sciences #FOS: Electrical engineering #Formal Languages and Automata Theory (cs.FL) #Formal Methods in Verification #Logic, programming, and type systems #Receptor Mechanisms and Signaling #Robotics (cs.RO) #Systems and Control (eess.SY) #electronic engineering #information engineering
- Stochastic Robustness Interval for Motion Planning with Signal Temporal Logic
2022/10/10 by Roland B. Ilyes, Qi Heng Ho, Ilyes, Roland B. +3 · 1 citation
Computer Science · #AI-based Problem Solving and Planning #FOS: Computer and information sciences #FOS: Electrical engineering #Formal Languages and Automata Theory (cs.FL) #Formal Methods in Verification #Logic, Reasoning, and Knowledge #Robotics (cs.RO) #Systems and Control (eess.SY) #electronic engineering #information engineering