• For Individuals
  • For Businesses
  • For Universities
  • For Governments
Coursera
  • Coursera Plus
  • Log In
  • Join for Free
    Coursera
    • Browse
    • Linear Temporal Logic Specifications
    Skip to search results

    Filter by

    Subject
    Required
     *

    Language
    Required
     *

    The language used throughout the course, in both instruction and assessments.

    Learning Product
    Required
     *

    Build job-relevant skills in under 2 hours with hands-on tutorials.
    Learn from top instructors with graded assignments, videos, and discussion forums.
    Learn a new tool or skill in an interactive, hands-on environment.
    Get in-depth knowledge of a subject by completing a series of courses and projects.
    Earn career credentials from industry leaders that demonstrate your expertise.
    Earn career credentials while taking courses that count towards your Master’s degree.
    Earn your Bachelor’s or Master’s degree online for a fraction of the cost of in-person learning.
    Complete graduate-level learning without committing to a full degree program.
    Earn a university-issued career credential in a flexible, interactive format.

    Level
    Required
     *

    Duration
    Required
     *

    Skills
    Required
     *

    Subtitles
    Required
     *

    Educator
    Required
     *

    Results for "linear temporal logic specifications"

    • É

      École Polytechnique Fédérale de Lausanne

      Digital Signal Processing 1: Basic Concepts and Algorithms

      Skills you'll gain: Digital Communications, Electrical and Computer Engineering, Programming Principles, Engineering Analysis, Electronics, Telecommunications, Advanced Mathematics, Algorithms, Linear Algebra, Time Series Analysis and Forecasting, Mathematical Modeling, Computational Logic, Applied Mathematics

      4.5
      Rating, 4.5 out of 5 stars
      ·
      621 reviews

      Intermediate · Course · 1 - 4 Weeks

    • G

      Google

      Google UX Design (PT)

      Skills you'll gain: Adobe XD, User Experience Design, Usability Testing, Figma (Design Software), Responsive Web Design, Wireframing, Information Architecture, User Experience, Prototyping, UI/UX Research, Presentations, Design Reviews, User Story, Storyboarding, Mockups, Ideation, Software Documentation, User Research, User Centered Design, Web Design

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

      Beginner · Professional Certificate · 3 - 6 Months

    • U

      University of Michigan

      The Finite Element Method for Problems in Physics

      Skills you'll gain: Finite Element Methods, Differential Equations, Engineering Analysis, Numerical Analysis, Mathematical Modeling, Mathematical Theory & Analysis, Advanced Mathematics, Applied Mathematics, Linear Algebra, C++ (Programming Language), Calculus, Open Source Technology

      4.6
      Rating, 4.6 out of 5 stars
      ·
      551 reviews

      Intermediate · Course · 3 - 6 Months

    • J

      Johns Hopkins University

      Principles of fMRI 1

      Skills you'll gain: Magnetic Resonance Imaging, Medical Imaging, Data Analysis, Research Design, Image Analysis, Neurology, Science and Research, Statistical Analysis, Statistical Modeling, Data Processing

      4.6
      Rating, 4.6 out of 5 stars
      ·
      837 reviews

      Beginner · Course · 1 - 4 Weeks

    • U

      University of Washington

      Machine Learning: Classification

      Skills you'll gain: Classification And Regression Tree (CART), Applied Machine Learning, Supervised Learning, Predictive Modeling, Text Mining, Machine Learning Algorithms, Data Cleansing, Scalability, Machine Learning, Natural Language Processing, Big Data, Probability & Statistics, Algorithms

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

      Mixed · Course · 1 - 3 Months

    • U

      University of Toronto

      State Estimation and Localization for Self-Driving Cars

      Skills you'll gain: Global Positioning Systems, Estimation, Machine Learning Methods, Computer Vision, Spatial Data Analysis, Mathematical Modeling, Linear Algebra

      4.7
      Rating, 4.7 out of 5 stars
      ·
      835 reviews

      Advanced · Course · 1 - 3 Months

    • U

      University of Minnesota

      Analytics for Decision Making

      Skills you'll gain: Time Series Analysis and Forecasting, Simulations, Operations Research, Probability Distribution, Mathematical Modeling, Supply Chain, Probability, Predictive Modeling, Business Modeling, Business Analytics, Analytics, Regression Analysis, Microsoft Excel, Forecasting, Data Modeling, Process Optimization, Data-Driven Decision-Making, Statistics, Business Mathematics, Manufacturing Operations

      4.7
      Rating, 4.7 out of 5 stars
      ·
      259 reviews

      Beginner · Specialization · 3 - 6 Months

    • Q

      Queen Mary University of London

      Market Research

      Skills you'll gain: Qualitative Research, Proposal Development, Market Research, Research Reports, Data Collection, Research Design, Research Methodologies, Data Analysis, Statistical Hypothesis Testing, Survey Creation, Statistical Analysis, Surveys, Correlation Analysis, Quantitative Research, Research, Science and Research, Market Analysis, Focus Group, Regression Analysis, Content Performance Analysis

      4.6
      Rating, 4.6 out of 5 stars
      ·
      432 reviews

      Beginner · Specialization · 3 - 6 Months

    • Status: Free
      Free
      T

      Tecnológico de Monterrey

      Cálculo Diferencial e Integral unidos por el Teorema Fundamental del Cálculo

      Skills you'll gain: Calculus, Integral Calculus, Advanced Mathematics, Graphing, Numerical Analysis, Mathematics Education, Trigonometry, Mathematical Modeling, Mathematical Theory & Analysis, Algebra, Computational Thinking, Applied Mathematics, Derivatives

      4.6
      Rating, 4.6 out of 5 stars
      ·
      716 reviews

      Mixed · Course · 3 - 6 Months

    • U

      University of Alberta

      Prediction and Control with Function Approximation

      Skills you'll gain: Reinforcement Learning, Deep Learning, Feature Engineering, Machine Learning, Supervised Learning, Artificial Neural Networks, Pseudocode, Linear Algebra, Probability Distribution

      4.8
      Rating, 4.8 out of 5 stars
      ·
      834 reviews

      Intermediate · Course · 1 - 3 Months

    • U

      University of California San Diego

      Big Data Modeling and Management Systems

      Skills you'll gain: Data Modeling, Databases, Big Data, Data Management, Database Management Systems, Real Time Data, NoSQL, Database Design, Apache Hadoop, Data Structures, Scalability, Virtual Environment

      4.4
      Rating, 4.4 out of 5 stars
      ·
      3K reviews

      Mixed · Course · 1 - 3 Months

    • I

      Imperial College London

      Linear Regression in R for Public Health

      Skills you'll gain: Correlation Analysis, Regression Analysis, Data Analysis, R Programming, Descriptive Statistics, Statistical Modeling, Exploratory Data Analysis, Statistical Analysis, Statistical Programming, Statistical Software, Statistical Methods, Probability & Statistics, Biostatistics, Epidemiology, Data Import/Export

      4.8
      Rating, 4.8 out of 5 stars
      ·
      518 reviews

      Intermediate · Course · 1 - 4 Weeks

    1…151617…82

    In summary, here are 10 of our most popular linear temporal logic specifications courses

    • Digital Signal Processing 1: Basic Concepts and Algorithms: École Polytechnique Fédérale de Lausanne
    • Google UX Design (PT): Google
    • The Finite Element Method for Problems in Physics: University of Michigan
    • Principles of fMRI 1: Johns Hopkins University
    • Machine Learning: Classification: University of Washington
    • State Estimation and Localization for Self-Driving Cars: University of Toronto
    • Analytics for Decision Making: University of Minnesota
    • Market Research: Queen Mary University of London
    • Cálculo Diferencial e Integral unidos por el Teorema Fundamental del Cálculo: Tecnológico de Monterrey
    • Prediction and Control with Function Approximation: University of Alberta

    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

    Technical Skills

    • ChatGPT
    • Coding
    • Computer Science
    • Cybersecurity
    • DevOps
    • Ethical Hacking
    • Generative AI
    • Java Programming
    • Python
    • Web Development

    Analytical Skills

    • Artificial Intelligence
    • Big Data
    • Business Analysis
    • Data Analytics
    • Data Science
    • Financial Modeling
    • Machine Learning
    • Microsoft Excel
    • Microsoft Power BI
    • SQL

    Business Skills

    • Accounting
    • Digital Marketing
    • E-commerce
    • Finance
    • Google
    • Graphic Design
    • IBM
    • Marketing
    • Project Management
    • Social Media Marketing

    Career Resources

    • Essential IT Certifications
    • High-Income Skills to Learn
    • How to Get a PMP Certification
    • How to Learn Artificial Intelligence
    • Popular Cybersecurity Certifications
    • Popular Data Analytics Certifications
    • What Does a Data Analyst Do?
    • Career Development Resources
    • Career Aptitude Test
    • Share your Coursera Learning Story

    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
    • ECTS Credit Recommendations

    Community

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

    More

    • Press
    • Investors
    • Terms
    • Privacy
    • Help
    • Accessibility
    • Contact
    • Articles
    • Directory
    • Affiliates
    • Modern Slavery Statement
    • Manage Cookie Preferences
    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