AIbase
Home
AI Tutorial

2D-denvVal

Public

PROMELA/SPIN model that simulates an agent navigating 2D labyrinths with walls, keys, and doors, and formally verifies the environment for future Reinforcement Learning Training

environment-validationltlltl-propertiespromelareinforcement-learningrlrl-validationspinstate-explosion
Creat：2025-09-14T23:51:20
Update：2025-09-16T01:12:03
0
Stars
0
Stars Increase

Related projects

Awesome Docker

awesome

:whale: A curated list of Docker resources and projects

34786
9个月前
+31today

Awesome Linux Software

applications

? A list of awesome Linux softwares

24525
9个月前
+17today

Instructor

openai

structured outputs for llms

11963
9个月前
+24today

Cleanlab

active-learning

The standard data-centric AI package for data quality and machine learning with messy, real-world data and labels.

11148
9个月前
+5today

Pkl

config

A configuration as code language with rich validation and tooling.

10975
9个月前
+6today

React Final Form

0
asynchronous

? High performance subscription-based form state management for React

7439
9个月前
0

Evidently

data-drift

Evidently is ??an open-source ML and LLM observability framework. Evaluate, test, and monitor any AI-powered system or data pipeline. From tabular data to Gen AI. 100+ metrics.

6890
9个月前
+10today

Io Ts

0
inference

Runtime type system for IO decoding/encoding

6810
9个月前
0

Giskard Oss

agent-evaluation

? Open-Source Evaluation & Testing library for LLM Agents

5006
4个月前
+2today

Giskard

agent-evaluation

? Open-Source Evaluation & Testing for AI & LLM systems

4821
9个月前
+5today