DeepSynth: Automata Synthesis for Automatic Task Segmentation in Deep Reinforcement Learning
-
Updated
Apr 17, 2021 - Python
DeepSynth: Automata Synthesis for Automatic Task Segmentation in Deep Reinforcement Learning
Formal Psychological Models of Categorization and Learning
🛠 Formal modelling of a distributed printing service in VDM++ using the Overture Tool.
CaskMan - An OWL ontology to model capabilities and skills in manufacturing
TLA+ specifications of various protocols used by wallets in the nitro protocol.
JSON parser/printer for VDM-SL
Formal modelling of GitHub in VDM++ - Software Engineering Formal Methods
Tamarin models for state continuity of SGX enclave programs
SMC2, or Secure Multiparty Computation in C, is the formalization and extension of the PICCO compiler, designed for general purpose secure multiparty computations.
Orchestrator on top of the Typed Ambient Calculus with Resources
ViennaTalk, a LIVE IDE for VDM-SL based on Pharo Smalltalk
A little combinatory parser in VDM-SL
a simple virtual machine for VDM by VDM
Formal Modeling project M2
HIBOU implements a small-step operational semantics for labelled interaction models as well as a trace and multi-trace analysis algorithm
A Framework for Modelling, Verification and Transformation of Concurrent Imperative Programs
Repair and Generation of Formal Models Using Synthesis (User Interface)
This is a repository that holds all PRISM models developed for my Master's thesis that extend the Task-Graph Scheduling problem to a concurrent stochastic game where the notion of Nash equilibrium is considered.
Add a description, image, and links to the formal-models topic page so that developers can more easily learn about it.
To associate your repository with the formal-models topic, visit your repo's landing page and select "manage topics."