REact
A Model-based Framework for Synthesis of Optimal Controllers for Autonomous Systems
synthesis_of_optimal_controllers_for_autonomous_systems.pdf |
synthesis_of_optimal_controllers_for_autonomous_systems.pdf | |
File Size: | 744 kb |
File Type: |
security_policy_enforcement_in Java.pdf | |
File Size: | 654 kb |
File Type: |
refinement_of_software_requirements.pdf | |
File Size: | 439 kb |
File Type: |