Partial Order Reduction for SE-LTL Files

Brought to you by: kanshuanglong

The interactive file manager requires Javascript. Please enable it or use sftp or scp.
You may still browse the files here.

Name	Modified	Size
SIGNAL2JAVA.pdf	2017-05-15	959.3 kB
full_version_se_por.pdf	2016-04-15	592.8 kB
PartialOrderReductionWithOperator.pdf	2016-04-10	329.3 kB
Totals: 3 Items		1.9 MB

Other Useful Business Software

Auth0 for AI Agents now in GA

Ready to implement AI with confidence (without sacrificing security)?

Connect your AI agents to apps and data more securely, give users control over the actions AI agents can perform and the data they can access, and enable human confirmation for critical agent actions.

Start building today

Desktop and Mobile Device Management Software

It's a modern take on desktop management that can be scaled as per organizational needs.

Desktop Central is a unified endpoint management (UEM) solution that helps in managing servers, laptops, desktops, smartphones, and tablets from a central location.

Learn More

Recommended Projects

Multifactor Dimensionality Reduction
The objective of this project is to make available an open-source version of our Multifactor Dimensionality Reduction (MDR) software. MDR is a nonparametric alternative to logistic regression for detecting and characterizing nonlinear interactions.
UMark (UT2004 Benchmark)
UMark is a graphical interface that allows gamers to easily configure and run benchmarks on Unreal Tournament 200x. It supports "botmatch", "flyby", and "timedemo" benchmarks. You may save/load results, or submit them online.
The Silver Searcher
A code-searching tool similar to ack, but faster
decodIRT_BRACIS20
Decoding machine learning benchmarks
Tracking Any Point (TAP)
DeepMind model for tracking arbitrary points across videos & robotics