abidefei Goto Github PK

abidefei.github.io

Keming Wang's homepage 王恪铭的个人主页

ai-for-beginners

12 Weeks, 24 Lessons, AI for All!

beginner_master_rl

cmake-cookbook

CMake Cookbook recipes.

commons-scxml

Mirror of Apache Commons SCXML

commonsscxmlexample

there are some example about Apache Commons SCXML(Commons SCXML的一些小案例)

consistency_verification_train_decision

The train control system is a typical safety-critical system, the consistency of the state of the system process is an important prerequisite of the reliable decision-making for the train control system.

cudd

CUDD: CU Decision Diagram package - unofficial git mirror of http://vlsi.colorado.edu/~fabio/

cvc4

CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.

deep-reinforcement-learning

Repo for the Deep Reinforcement Learning Nanodegree program

diagram-editor

dl4math

Reading list for research topics in mathematical reasoning and artificial intelligence

generative-ai-for-beginners

12 Lessons, Get Started Building with Generative AI 🔗 https://microsoft.github.io/generative-ai-for-beginners/

isafm

A new framework for upgrading safety-critical systems integrates STAMP with formal methods

level-crossing-project

This is a case study for level crossing based on Event-B modelling language

ltl2ba

minisat

A minimalistic and high-performance SAT solver

ml-for-beginners

12 weeks, 26 lessons, 52 quizzes, classic Machine Learning for all

model-evaluation

part of WP7: collects the various activities regarding selecting a tool and formal specification for modeling

model_verification_data_validation_interlocking_eventb

A Formal Method for Model Verification and Data Validation of Interlocking Control System

moss

An open-source tool-augmented conversational language model from Fudan University

new_rlc_control_system

The model of the paper: Improving the safety of the control system at railway level crossings with formal method based on STAMP and Event-B --- Please download the .zip directly, Thanks~!

ocarina

AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL

opensmt

Automatically exported from code.google.com/p/opensmt

practical-tla-plus

Source Code for 'Practical TLA+' by Hillel Wayne

railground

This is a playground for studying railway models using formal methods.

raillevelcrossing_eventb

safe-deep-reinforcement-learning

scxml-java

Java library that implements SCXML standard (http://www.w3.org/TR/scxml).

smtlectures

A collection of slides of the SMT course I held at University of Milan in fall 2011