Upgrade webots to 2019 - Githubissues

BerkeleyLearnVerify / VerifAI

VerifAI is a software toolkit for the formal design and analysis of systems that include artificial intelligence (AI) and machine learning (ML) components.

BSD 3-Clause "New" or "Revised" License

170 stars 47 forks source link

Upgrade webots to 2019 #10

Closed junjihashimoto closed 2 years ago

junjihashimoto commented 4 years ago

This pr updates wbt files to support webots-2019.

Update Superviser node to Robot node.
Remove road textures webots-2019 does not have.

dfremont commented 2 years ago

Closing this since we'll be updating the files directly to R2022a (in which the default coordinate system has changed, so the maps need to be re-imported). Apologies for never merging this!