From 781d10c2d3085637bf6b4d53e2ad929745842f83 Mon Sep 17 00:00:00 2001 From: Daniel Fremont Date: Thu, 22 Oct 2020 08:12:47 -0700 Subject: [PATCH] update README, docs --- README.md | 6 +++--- docs/index.rst | 4 ++-- docs/publications.rst | 1 + pyproject.toml | 2 +- 4 files changed, 7 insertions(+), 6 deletions(-) diff --git a/README.md b/README.md index fd9459dfb..480801ffd 100644 --- a/README.md +++ b/README.md @@ -3,11 +3,11 @@ [![Documentation Status](https://readthedocs.org/projects/scenic-lang/badge/?version=latest)](https://scenic-lang.readthedocs.io/en/latest/?badge=latest) [![License](https://img.shields.io/badge/License-BSD%203--Clause-blue.svg)](https://opensource.org/licenses/BSD-3-Clause) -A compiler and scene generator for the Scenic scenario description language. +A compiler and scenario generator for the Scenic scenario description language. Please see the [documentation](https://scenic-lang.readthedocs.io/) for installation instructions, as well as tutorials and other information about the Scenic language, its implementation, and its interfaces to various simulators. -For a description of the language and some of its applications, see [our PLDI 2019 paper](https://arxiv.org/abs/1809.09310) (*note:* the syntax of Scenic has changed slightly since then). -Scenic was designed and implemented by Daniel J. Fremont, Tommaso Dreossi, Shromona Ghosh, Edward Kim, Xiangyu Yue, Alberto L. Sangiovanni-Vincentelli, and Sanjit A. Seshia. +For a description of the language and some of its applications, see [our preprint](https://arxiv.org/abs/2010.06580), which extends our [PLDI 2019 paper](https://arxiv.org/abs/1809.09310) (*note:* the syntax of Scenic has changed slightly since that paper, and many features such as support for dynamic scenarios have been added; these are described in the preprint). +Scenic was designed and implemented by Daniel J. Fremont, Edward Kim, Tommaso Dreossi, Shromona Ghosh, Xiangyu Yue, Alberto L. Sangiovanni-Vincentelli, and Sanjit A. Seshia. If you have any problems using Scenic, please submit an issue to [our GitHub repository](https://github.com/BerkeleyLearnVerify/Scenic) or contact Daniel at . diff --git a/docs/index.rst b/docs/index.rst index 5129997be..621692cf5 100644 --- a/docs/index.rst +++ b/docs/index.rst @@ -5,8 +5,8 @@ Scenic is a domain-specific probabilistic programming language for modeling the A Scenic program defines a distribution over *scenes*, configurations of physical objects and agents; sampling from this distribution yields concrete scenes which can be simulated to produce training or testing data. Scenic can also define (probabilistic) policies for dynamic agents, allowing modeling scenarios where agents take actions over time in response to the state of the world. -Scenic was designed and implemented by Daniel J. Fremont, Tommaso Dreossi, Shromona Ghosh, Edward Kim, Xiangyu Yue, Alberto L. Sangiovanni-Vincentelli, and Sanjit A. Seshia. -For a description of the language and some of its applications, see `our PLDI 2019 paper `_; a more in-depth discussion is in Chapters 5 and 8 of `this thesis `_. +Scenic was designed and implemented by Daniel J. Fremont, Edward Kim, Tommaso Dreossi, Shromona Ghosh, Xiangyu Yue, Alberto L. Sangiovanni-Vincentelli, and Sanjit A. Seshia. +For a description of the language and some of its applications, see `our preprint `_, which extends `our PLDI 2019 paper `_ (a more in-depth discussion of the PLDI paper is in Chapters 5 and 8 of `this thesis `_). Our :doc:`publications ` page lists additional papers using Scenic. .. note:: diff --git a/docs/publications.rst b/docs/publications.rst index 52406b9a8..308614d2b 100644 --- a/docs/publications.rst +++ b/docs/publications.rst @@ -11,6 +11,7 @@ The main paper on Scenic is: | :t:`Scenic: A Language for Scenario Specification and Scene Generation`. | Fremont, Dreossi, Ghosh, Yue, Sangiovanni-Vincentelli, and Seshia. | PLDI 2019. [`full version `_] + | (see also the `extended preprint `_ on Scenic 2.0) An expanded version of this paper appears as Chapters 5 and 8 of this thesis: diff --git a/pyproject.toml b/pyproject.toml index a0b7ec1ca..4d3c9a073 100644 --- a/pyproject.toml +++ b/pyproject.toml @@ -4,9 +4,9 @@ version = "2.0.0b1" description = "The Scenic scenario description language." authors = [ "Daniel Fremont ", + "Edward Kim", "Tommaso Dreossi", "Shromona Ghosh", - "Edward Kim", "Xiangyu Yue", "Alberto L. Sangiovanni-Vincentelli", "Sanjit A. Seshia"