conf.researchr.org / Ivan Ruchkin
Registered user since Thu 24 Aug 2017
Name:Ivan Ruchkin
Contributions
| ACSOS 2020 | Author of Hybrid Planning Using Learning and Model Checking for Autonomous Systems within the Research Papers-track |
Registered user since Thu 24 Aug 2017
Contributions
| ACSOS 2020 | Author of Hybrid Planning Using Learning and Model Checking for Autonomous Systems within the Research Papers-track |