Regular expression

相关论文数: 2

顶级研究者

Marius Kloetzer

研究机构: —

Insup Lee

研究机构: —

Jesung Kim

研究机构: —

Cristian Mahulea

研究机构: —

Li Tan

研究机构: —

最高引用论文

Multi-robot path planning for syntactically co-safe LTL specifications

Marius Kloetzer, Cristian Mahulea

引用数: 19 • 2016

Testing and Monitoring Model-based Generated Program

Li Tan, Jesung Kim, Insup Lee

引用数: 19 • 2003

相关技术

Artificial intelligenceComputer scienceMathematicsRobotTask (project management)AlgorithmEngineeringTheoretical computer scienceProgramming languageSoftware