Filter by
The language used throughout the course, in both instruction and assessments.
Results for "linear+temporal+logic"
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
- Status: Free
University of California, Santa Cruz
Skills you'll gain: Systems Design, Model Based Systems Engineering, Mathematical Modeling, Simulations, Embedded Systems, Computational Logic, Basic Electrical Systems, Digital Communications, Differential Equations, Estimation, Algorithms, Linear Algebra
- Status: Free
Coursera Project Network
Skills you'll gain: OpenAI, ChatGPT, Cost Benefit Analysis, Business Process Automation, Generative AI, Application Programming Interface (API), Development Environment, Business Logic, Scalability, Artificial Intelligence, Business Solutions, TypeScript, Node.JS, Natural Language Processing, Complex Problem Solving, Application Security
Columbia University
Skills you'll gain: Reinforcement Learning, Artificial Intelligence and Machine Learning (AI/ML), Machine Learning, Algorithms, Markov Model, Data-Driven Decision-Making, Simulations, Probability & Statistics
Howard University
Skills you'll gain: Linear Algebra, Data Visualization, NumPy, Jupyter, Mathematical Modeling, Data Science, Python Programming, Data Analysis, Software Installation, Git (Version Control System)
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
- 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
EIT Digital
Skills you'll gain: Computational Logic, Markov Model, Verification And Validation, System Testing, Theoretical Computer Science, Mathematical Modeling, Systems Analysis, Software Testing, Statistical Modeling, Probability, Algorithms, Probability Distribution
University of Colorado Boulder
Skills you'll gain: Verification And Validation, Computational Logic, Theoretical Computer Science, Automation, Systems Engineering, Systems Design, Systems Analysis, Algorithms, Safety and Security
Howard University
Skills you'll gain: Regression Analysis, Predictive Modeling, Statistical Modeling, Supervised Learning, Scikit Learn (Machine Learning Library), Applied Mathematics, Machine Learning Methods, Linear Algebra, Small Data, Statistical Analysis, Data Science, NumPy
Johns Hopkins University
Skills you'll gain: Calculus, Integral Calculus, Advanced Mathematics, Applied Mathematics, Numerical Analysis, Mathematical Modeling, Derivatives
- Status: Free
DeepLearning.AI
Skills you'll gain: Performance Tuning, Generative AI, MLOps (Machine Learning Operations), Scalability, Artificial Intelligence and Machine Learning (AI/ML), Performance Testing, Application Performance Management
In summary, here are 10 of our most popular linear+temporal+logic courses
- Development of Real-Time Systems: EIT Digital
- Cyber-Physical Systems: Modeling and Simulation: University of California, Santa Cruz
- Automated Reasoning with GPT Assistant API: ReAct Agents: Coursera Project Network
- Decision Making and Reinforcement Learning: Columbia University
- Introduction to Linear Algebra and Python: Howard University
- Real-Time Embedded Systems Theory and Analysis: University of Colorado Boulder
- System Validation: Automata and behavioural equivalences: EIT Digital
- Quantitative Model Checking: EIT Digital
- Verification and Synthesis of Autonomous Systems: University of Colorado Boulder
- Building Regression Models with Linear Algebra: Howard University