Filter by
The language used throughout the course, in both instruction and assessments.
Results for "linear+temporal+logic+(ltl)"
University of Colorado Boulder
Skills you'll gain: Linear Algebra, Applied Mathematics, Data Science, Data Analysis, Statistical Methods, Algebra, Numerical Analysis
University of Colorado Boulder
Skills you'll gain: Embedded Systems, Embedded Software, Software Design, Linux, Linux Administration, System Design and Implementation, Real Time Data, Software Systems, OS Process Management, Operating Systems, Service Design, Systems Analysis, Theoretical Computer Science, Verification And Validation, Mathematical Software, Algorithms, Debugging
EIT Digital
Skills you'll gain: Computational Logic, Combinatorics, Logical Reasoning, Computational Thinking, Mathematical Modeling, Operations Research, Theoretical Computer Science, Applied Mathematics, Algorithms, Linear Algebra, Verification And Validation, Arithmetic
EIT Digital
Skills you'll gain: Embedded Systems, Computer Programming, C (Programming Language), Real Time Data, System Design and Implementation, System Software, Operating Systems, System Requirements, Computer Architecture, Verification And Validation, Algorithms
University of Leeds
Skills you'll gain: Logical Reasoning, Deductive Reasoning, Computational Logic, Computational Thinking, Algorithms, Theoretical Computer Science, Artificial Intelligence
- Status: Free
Skills you'll gain: Verification And Validation, Theoretical Computer Science, System Testing, Embedded Software, System Software, Software Architecture, System Design and Implementation
- Status: Free
Skills you'll gain: Verification And Validation, Systems Analysis, Mathematical Modeling, Data Structures, Theoretical Computer Science, Distributed Computing, Algorithms
Skills you'll gain: Embedded Systems, Machine Controls, Electronic Systems, Automation, Power Electronics, Engineering, Electronic Components, Basic Electrical Systems, Mechanical Design, Mechanical Engineering, Hydraulics, Thermal Management, Matlab, Real Time Data
EIT Digital
Skills you'll gain: Computational Logic, Theoretical Computer Science, Systems Analysis, Verification And Validation, Algorithms, Data Structures
- Status: Free
Skills you'll gain: Verification And Validation, Computational Logic, System Requirements, Functional Requirement, Systems Design, Data Modeling
Skills you'll gain: Artificial Neural Networks, Deep Learning, Artificial Intelligence and Machine Learning (AI/ML), Generative AI, Natural Language Processing, Machine Learning
Skills you'll gain: Embedded Systems, Industrial Engineering, Internet Of Things, C (Programming Language), Electronic Systems, Peripheral Devices, Wireless Networks, Computer Architecture, Cybersecurity, Cloud Computing, Computer Hardware, Computer Programming, Real Time Data
In summary, here are 10 of our most popular linear+temporal+logic+(ltl) courses
- Essential Linear Algebra for Data Science: University of Colorado Boulder
- Real-Time Embedded Systems Theory and Analysis: University of Colorado Boulder
- Automated Reasoning: satisfiability: EIT Digital
- Development of Real-Time Systems: EIT Digital
- An Introduction to Logic for Computer Science: University of Leeds
- System Validation: Automata and behavioural equivalences: EIT Digital
- System Validation (2): Model process behaviour: EIT Digital
- CPS Design for Mechatronics, Healthcare, EV & Robotics: L&T EduTech
- Automated Reasoning: Symbolic Model Checking: EIT Digital
- System Validation (3): Requirements by modal formulas: EIT Digital