zuxichen Goto Github PK
Name: joey chen
Type: User
Company: Huaqiao University
Bio: A researcher focus on formal verification, AI planning and safety analysis
Location: Xiamen, Fujian, China
Name: joey chen
Type: User
Company: Huaqiao University
Bio: A researcher focus on formal verification, AI planning and safety analysis
Location: Xiamen, Fujian, China
use Control-Dependence to creat program control flow and data flow
Multi-agent path finding (MAPF), Token Swapping (TSWAP) and related solvers. Among others SMT-based solvers, variants of CBS, and SAT-based solvers are implemented. Recently also continuous variants of MAPF (MAPF^R) are supported.
C++ implementation of CBS with using SIPP as a low-level planner
Improved Heuristics for Multi-Agent Path Finding with Conflict-Based Search
CDCL SAT Solver
CBS algorithm implementation for multi agent pathfinding
Continuous CBS - a modification of conflict based search algorithm, that allows to perform actions (move, wait) of arbitrary duration. Timeline is not discretized, i.e. is continuous.
[LLVM Static Slicer] Dependence graph for programs. A set of generic program analyses and a static slicer for LLVM bitcode.
Disjoint CBSH integrated with LPA*
DIVINE model checker git mirror, https://divine.fi.muni.cz. This is a read-only mirror of the main darcs repository. Issues should be reported using https://divine.fi.muni.cz/trac/report/1. Pull requests here will not be accepted. If you wish to contribute, please contatct us by e-mail.
Contains java project code for implementing distributed timed automata
An LLVM-based formal verification frontend for C programs.
llvm tutorial,study in action
JKind - An infinite-state model checker for safety properties in Lustre
Small project for learning PDR and Java 8
Simple abstract interpreter for LLVM IR
Automatic regression verification for LLVM programs
UNMAINTAINED: Examples of using the LLVM and Clang compilation libraries and tools
extensible interpreter for LLVM dynamic analyses
User Guides For those new to the LLVM system.(LLVM系统的新用户指南,中文翻译版)
LLVM test case generation using Mutation
An LLVM interpreter that aims to compute points-to sets dynamically
CS261A Project: Multi-Agent Pathfinding
Multi-threads Interpreter base on LLVM
A minimalistic and high-performance SAT solver
Pathfinding algorithms to plan paths for multiple agents
Conflict-based search for multi-agent path finding
This is my project for the Artificial Intelligence 4 course as given at the University of Southern Denmark.
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.