Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Georgios Fainekos
conf.researchr.org general profile
NASA Formal Methods 2024 profile
Requirements Engineering 2022 profile
Not registered as user yet
Name:
Georgios Fainekos
Country:
United States
Affiliation:
Toyota Research Institute of North America
Contributions
2024
NFM
Author of SMT-Based Dynamic Multi-Robot Task Allocation within the NFM 2024-track
2022
Requirements Engineering
Author of PyFoReL: A Domain-Specific Language for Formal Requirements in Temporal Logic within the Posters and Tool Demos-track
Share
x
Mon 18 Nov 23:19