• For Individuals
  • For Businesses
  • For Universities
  • For Governments
Log In
Join for Free
  • Browse
  • Linear Temporal Logic Ltl

Results for "linear temporal logic (ltl)"


  • C

    Coursera

    Linear Regression with Python

    Skills you'll gain: Regression Analysis, NumPy, Applied Machine Learning, Supervised Learning, Machine Learning, Predictive Modeling, Deep Learning, Data Science, Python Programming

    4.6
    Rating, 4.6 out of 5 stars
    ·
    437 reviews

    Intermediate · Guided Project · Less Than 2 Hours

  • Status: Free Trial
    Free Trial
    T

    The Hong Kong University of Science and Technology

    Matrix Algebra for Engineers

    Skills you'll gain: Linear Algebra, Engineering Calculations, Algebra, Engineering Analysis, General Mathematics, Advanced Mathematics, Applied Mathematics, Arithmetic, Computational Logic

    4.9
    Rating, 4.9 out of 5 stars
    ·
    4.6K reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    J

    Johns Hopkins University

    Linear Algebra: Matrix Algebra, Determinants, & Eigenvectors

    Skills you'll gain: Linear Algebra, Applied Mathematics, Algebra, Advanced Mathematics, Graph Theory, Geometry, Applied Machine Learning, Markov Model, Probability

    4.8
    Rating, 4.8 out of 5 stars
    ·
    76 reviews

    Mixed · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    J

    Johns Hopkins University

    Advanced Linear Models for Data Science 1: Least Squares

    Skills you'll gain: Regression Analysis, Statistical Modeling, R Programming, Linear Algebra, Data Science, Mathematical Modeling, Predictive Modeling, Statistics, Statistical Analysis, Applied Mathematics, Advanced Mathematics

    4.5
    Rating, 4.5 out of 5 stars
    ·
    188 reviews

    Advanced · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    I

    Imperial College London

    Mathematics for Machine Learning: Multivariate Calculus

    Skills you'll gain: Regression Analysis, Calculus, Advanced Mathematics, Machine Learning Algorithms, Statistical Analysis, Linear Algebra, Artificial Neural Networks, Python Programming, Derivatives

    4.7
    Rating, 4.7 out of 5 stars
    ·
    5.7K reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    J

    Johns Hopkins University

    Advanced Statistics for Data Science

    Skills you'll gain: Statistical Hypothesis Testing, Sampling (Statistics), Regression Analysis, Bayesian Statistics, Statistical Analysis, Probability & Statistics, Statistical Inference, Statistical Methods, Statistical Modeling, Linear Algebra, Probability, R Programming, Biostatistics, Data Science, Statistics, Probability Distribution, Mathematical Modeling, Data Analysis, Applied Mathematics, Predictive Modeling

    4.4
    Rating, 4.4 out of 5 stars
    ·
    781 reviews

    Advanced · Specialization · 3 - 6 Months

  • E

    EIT Digital

    Automated Reasoning: satisfiability

    Skills you'll gain: Computational Logic, Combinatorics, Logical Reasoning, Mathematical Modeling, Operations Research, Theoretical Computer Science, Applied Mathematics, Algorithms, Linear Algebra, Verification And Validation

    4.8
    Rating, 4.8 out of 5 stars
    ·
    45 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    T

    The Hong Kong University of Science and Technology

    Differential Equations for Engineers

    Skills you'll gain: Differential Equations, Engineering Analysis, Applied Mathematics, Calculus, Integral Calculus, Numerical Analysis, Mathematical Modeling, Advanced Mathematics, Linear Algebra, Vibrations, Electrical Engineering, Derivatives

    4.9
    Rating, 4.9 out of 5 stars
    ·
    2.2K reviews

    Beginner · Course · 1 - 3 Months

  • Status: Preview
    Preview
    G

    Georgia Institute of Technology

    Linear Circuits 1: DC Analysis

    Skills you'll gain: Basic Electrical Systems, Electronic Components, Electrical Systems, Electronic Systems, Electrical Engineering, Engineering Analysis, Electronics, Engineering Calculations, Physics, Schematic Diagrams

    4.5
    Rating, 4.5 out of 5 stars
    ·
    1.5K reviews

    Mixed · Course · 1 - 3 Months

  • E

    EIT Digital

    Quantitative Model Checking

    Skills you'll gain: Computational Logic, Markov Model, Verification And Validation, Theoretical Computer Science, Mathematical Modeling, Systems Analysis, Probability, Algorithms, Graph Theory, Probability Distribution

    4.3
    Rating, 4.3 out of 5 stars
    ·
    54 reviews

    Intermediate · Course · 1 - 3 Months

  • E

    EIT Digital

    System Validation (2): Model process behaviour

    Skills you'll gain: Verification And Validation, Systems Analysis, Systems Design, Computational Logic, Data Structures, Theoretical Computer Science, Distributed Computing, Algorithms, Logical Reasoning

    4.1
    Rating, 4.1 out of 5 stars
    ·
    10 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    H

    Howard University

    Introduction to Linear Algebra and Python

    Skills you'll gain: Linear Algebra, Applied Mathematics, NumPy, Mathematical Software, Algebra, Data Visualization Software, Jupyter, Mathematical Modeling, Data Science, Python Programming, Data Analysis, Software Installation, Git (Version Control System)

    4.3
    Rating, 4.3 out of 5 stars
    ·
    15 reviews

    Beginner · Course · 1 - 4 Weeks

1…567…101

In summary, here are 10 of our most popular linear temporal logic (ltl) courses

  • Linear Regression with Python: Coursera
  • Matrix Algebra for Engineers: The Hong Kong University of Science and Technology
  • Linear Algebra: Matrix Algebra, Determinants, & Eigenvectors: Johns Hopkins University
  • Advanced Linear Models for Data Science 1: Least Squares: Johns Hopkins University
  • Mathematics for Machine Learning: Multivariate Calculus: Imperial College London
  • Advanced Statistics for Data Science: Johns Hopkins University
  • Automated Reasoning: satisfiability: EIT Digital
  • Differential Equations for Engineers: The Hong Kong University of Science and Technology
  • Linear Circuits 1: DC Analysis: Georgia Institute of Technology
  • Quantitative Model Checking: EIT Digital

Other topics to explore

Arts and Humanities
338 courses
Business
1095 courses
Computer Science
668 courses
Data Science
425 courses
Information Technology
145 courses
Health
471 courses
Math and Logic
70 courses
Personal Development
137 courses
Physical Science and Engineering
413 courses
Social Sciences
401 courses
Language Learning
150 courses

Coursera Footer

Skills

  • Artificial Intelligence (AI)
  • Cybersecurity
  • Data Analytics
  • Digital Marketing
  • English Speaking
  • Generative AI (GenAI)
  • Microsoft Excel
  • Microsoft Power BI
  • Project Management
  • Python

Certificates & Programs

  • Google Cybersecurity Certificate
  • Google Data Analytics Certificate
  • Google IT Support Certificate
  • Google Project Management Certificate
  • Google UX Design Certificate
  • IBM Data Analyst Certificate
  • IBM Data Science Certificate
  • Machine Learning Certificate
  • Microsoft Power BI Data Analyst Certificate
  • UI / UX Design Certificate

Industries & Careers

  • Business
  • Computer Science
  • Data Science
  • Education & Teaching
  • Engineering
  • Finance
  • Healthcare
  • Human Resources (HR)
  • Information Technology (IT)
  • Marketing

Career Resources

  • Career Aptitude Test
  • Examples of Strengths and Weaknesses for Job Interviews
  • High-Income Skills to Learn
  • How Does Cryptocurrency Work?
  • How to Highlight Duplicates in Google Sheets
  • How to Learn Artificial Intelligence
  • Popular Cybersecurity Certifications
  • Preparing for the PMP Certification
  • Signs You Will Get the Job After an Interview
  • What Is Artificial Intelligence?

Coursera

  • About
  • What We Offer
  • Leadership
  • Careers
  • Catalog
  • Coursera Plus
  • Professional Certificates
  • MasterTrack® Certificates
  • Degrees
  • For Enterprise
  • For Government
  • For Campus
  • Become a Partner
  • Social Impact
  • Free Courses
  • Share your Coursera learning story

Community

  • Learners
  • Partners
  • Beta Testers
  • Blog
  • The Coursera Podcast
  • Tech Blog

More

  • Press
  • Investors
  • Terms
  • Privacy
  • Help
  • Accessibility
  • Contact
  • Articles
  • Directory
  • Affiliates
  • Modern Slavery Statement
  • Do Not Sell/Share
Learn Anywhere
Download on the App Store
Get it on Google Play
Logo of Certified B Corporation
© 2025 Coursera Inc. All rights reserved.
  • Coursera Facebook
  • Coursera Linkedin
  • Coursera Twitter
  • Coursera YouTube
  • Coursera Instagram
  • Coursera TikTok