Tichakorn (Nok) Wongpiromsarn
Tichakorn (Nok) Wongpiromsarn
Home
News
Research
Publications
Talks
Teaching
Posts
Contact
Current projects
Formal Specifications of Autonomous Systems
Derive, analyze, and refine specifications from regulatory requirements and demonstrations.
Planning with Conflicting Specifications
Develop planning and decision-making algorithms with multiple, potentially conflicting objectives.
Cite
×