Updated Scenic example with newer syntax

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

Updated Scenic example with newer syntax #28

Closed findaheng closed 2 years ago

findaheng commented 2 years ago

Addresses this issue to fix the Scenic example with outdated syntax.