Python package for Sentential Decision Diagrams (SDD)
-
Updated
Oct 29, 2024 - C
Python package for Sentential Decision Diagrams (SDD)
A Full Stack Journey with Micro Services and Micro Front Ends. Using dapr, kubernetes, react module federation and web assembly,
📚 Fundamental and Advanced Programming, Data Structure, OS Lab and Principle of Compiler Courses Educational Projects
Official implementation of "Regularizing neural networks for future trajectory prediction via IRL framework" published in IET CV
School Management System developed by PHP and MySQL.
A new storage media format using modern interfaces.
Final Year Project (Sugarcane disease detector)
Bottom-up sentential decision diagram compiler.
SDD-based Forward LTLf Synthesis
Security-Driven Development (SDD) where cybersecurity is not an add-on, but the core of our software creation process. Committed to best practices, we follow a development cycle that integrates security analysis, defensive design and secure coding from the first commit.
The Deliberative-Decision System. A tool of heterarchic management by ALL
Test cases for ACL tasks
Video Server NVR Box with Networkoptix Server, RK3588, 4GB, for 3.5" HDD/SSD
Hardware/software state reporting and analysis tools: MQTT, S.M.A.R.T., etc
Add a description, image, and links to the sdd topic page so that developers can more easily learn about it.
To associate your repository with the sdd topic, visit your repo's landing page and select "manage topics."