Search results

URML (open robot intent language): falsifying a declared safety envelope with VerifAI, request for comment

Status: Open.

#64 In BerkeleyLearnVerify/VerifAI;

· idoco2003 opened on Jun 4, 2026

data augmentation example doesn't run

Status: Open.

#56 In BerkeleyLearnVerify/VerifAI;

· syoung64 opened on Jun 18, 2025

Trying to run examples getting error while running command : poetry install -E examples

Status: Open.

#50 In BerkeleyLearnVerify/VerifAI;

· sumitradagar opened on Aug 17, 2023

Multi Armed Bandit and Cross Entropy

Status: Open.

#43 In BerkeleyLearnVerify/VerifAI;

· ruveydayilmaz0 opened on Jan 25, 2023

ValueError: not enough values to unpack (expected 3, got 2)

Status: Open.

#41 In BerkeleyLearnVerify/VerifAI;

· Coder-Vishali opened on Sep 16, 2022

X-Plane 11 falsifier example is not working properly

Status: Open.

#40 In BerkeleyLearnVerify/VerifAI;

· dbuyukco opened on Sep 2, 2022

Simulator code explanation request in Basic usage documentation + LGSVL Simulator example code request

Status: Open.

#13 In BerkeleyLearnVerify/VerifAI;

· saradapreethi opened on Jun 29, 2020

scenic_intersection_sampler throws RuntimeError.

Status: Open.

#12 In BerkeleyLearnVerify/VerifAI;

· junjihashimoto opened on Jan 5, 2020

camera controller is not included.

Status: Open.

#11 In BerkeleyLearnVerify/VerifAI;

· junjihashimoto opened on Jan 5, 2020

When we use Webots-2019, loading textures fail.

enhancementNew feature or requestNew feature or request

Status: Open.

#9 In BerkeleyLearnVerify/VerifAI;

· junjihashimoto opened on Dec 13, 2019

Lane keeping example seems not working for me

Status: Open.

#7 In BerkeleyLearnVerify/VerifAI;

· Yougmark opened on Nov 10, 2019

Newest gym doesn't work

Status: Open.

#6 In BerkeleyLearnVerify/VerifAI;

· Yougmark opened on Nov 10, 2019