Eric Vin
YOU?
Author Swipe
View article: 3D Environment Modeling for Falsification and Beyond with Scenic 3.0
3D Environment Modeling for Falsification and Beyond with Scenic 3.0 Open
We present a major new version of Scenic, a probabilistic programming language for writing formal models of the environments of cyber-physical systems. Scenic has been successfully used for the design and analysis of CPS in a variety of do…
View article: Symbiotic CPS Design-Space Exploration through Iterated Optimization
Symbiotic CPS Design-Space Exploration through Iterated Optimization Open
Cyber-physical systems (CPSs) are complex systems comprised of computational processes, communication networks, and elements interacting with the physical world. The design of the CPSs involves many domain-specific tools and design flows c…
View article: Tackling simulation inconsistencies in the robot design process by selective empirical evaluation
Tackling simulation inconsistencies in the robot design process by selective empirical evaluation Open
We present a computational design pipeline that allows evaluation of the robot and environment parameters in a robust manner, giving insight into interactions that can lead to mismatch between simulated behaviour and reality. Our pipeline …
View article: 3D Environment Modeling for Falsification and Beyond with Scenic 3.0
3D Environment Modeling for Falsification and Beyond with Scenic 3.0 Open
We present a major new version of Scenic, a probabilistic programming language for writing formal models of the environments of cyber-physical systems. Scenic has been successfully used for the design and analysis of CPS in a variety of do…
View article: Randomized Synthesis for Diversity and Cost Constraints with Control Improvisation
Randomized Synthesis for Diversity and Cost Constraints with Control Improvisation Open
In many synthesis problems, it can be essential to generate implementations which not only satisfy functional constraints but are also randomized to improve variety, robustness, or unpredictability. The recently-proposed framework of contr…
View article: Randomized Synthesis for Diversity and Cost Constraints with Control Improvisation
Randomized Synthesis for Diversity and Cost Constraints with Control Improvisation Open
In many synthesis problems, it can be essential to generate implementations which not only satisfy functional constraints but are also randomized to improve variety, robustness, or unpredictability. The recently-proposed framework of contr…