Versions

Description

Scenic is a domain-specific probabilistic programming language for modeling the environments of cyber-physical systems.

Repository

https://github.com/BerkeleyLearnVerify/Scenic.git

Project Slug

scenic-lang

Last Built

1 month, 3 weeks ago passed

Maintainers

Badge

Tags

Project has no tags.

Short URLs

scenic-lang.readthedocs.io
scenic-lang.rtfd.io

Default Version

latest

'latest' Version

master