• For Individuals
  • For Businesses
  • For Universities
  • For Governments
Coursera
  • Online Degrees
  • Careers
  • 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"

    • Status: Free
      Free
      C

      Coursera Instructor Network

      Advanced Quantitative Statistics with Excel

      Skills you'll gain: Regression Analysis, Microsoft Excel, Statistical Hypothesis Testing, Business Analytics, Data-Driven Decision-Making, Excel Formulas, Data Visualization, Business Analysis, Data Presentation, Business Intelligence, Statistical Analysis, Statistical Methods, Analytics, Spreadsheet Software, Data Analysis, Data Analysis Software, Correlation Analysis, Probability & Statistics, Variance Analysis, Forecasting

      4.7
      Rating, 4.7 out of 5 stars
      ·
      9 reviews

      Beginner · Course · 1 - 4 Weeks

    • F

      FundaĂ§Ă£o Instituto de AdministraĂ§Ă£o

      AnĂ¡lise de Dados Quantitativos

      Skills you'll gain: Quantitative Research, Marketing Analytics, Market Analysis, Market Research, Exploratory Data Analysis, Strategic Marketing, Forecasting, Strategic Decision-Making, Data Analysis, Predictive Modeling, Customer Analysis, Statistical Modeling, Statistical Analysis, Correlation Analysis, Regression Analysis, Unsupervised Learning, Variance Analysis

      4.4
      Rating, 4.4 out of 5 stars
      ·
      23 reviews

      Beginner · Course · 1 - 4 Weeks

    • U

      University of California, Davis

      Python Basics: Automation and Bots

      Skills you'll gain: Programming Principles, Python Programming, Scripting, Data Cleansing, Automation, Computational Thinking, Computer Programming, Debugging, Application Programming Interface (API)

      4.9
      Rating, 4.9 out of 5 stars
      ·
      8 reviews

      Intermediate · Course · 1 - 4 Weeks

    • U

      University of California San Diego

      Teaching Impacts of Technology: Workplace of the Future

      Skills you'll gain: Technical Communication, Education Software and Technology, Digital Transformation, Cloud Computing, Computer Science, Hypertext Markup Language (HTML), Cloud Storage, File Transfer Protocol (FTP), Data Analysis, Data Science, Artificial Intelligence and Machine Learning (AI/ML), Amazon Web Services, SQL, Databases

      4
      Rating, 4 out of 5 stars
      ·
      6 reviews

      Beginner · Course · 1 - 3 Months

    • C

      Codio

      Java: Data Structures and Algorithms

      Skills you'll gain: Data Structures, Algorithms, Java, Java Programming, Theoretical Computer Science, Computer Programming, Computational Thinking, Programming Principles, Object Oriented Programming (OOP), Performance Tuning

      Intermediate · Specialization · 1 - 3 Months

    • U

      University of Colorado Boulder

      Analytical Mechanics for Spacecraft Dynamics

      Skills you'll gain: Engineering Analysis, Vibrations, Mechanics, Finite Element Methods, Differential Equations, Applied Mathematics, Mathematical Modeling, Linear Algebra, Calculus

      4.8
      Rating, 4.8 out of 5 stars
      ·
      10 reviews

      Advanced · Course · 1 - 4 Weeks

    • I

      Illinois Tech

      Data Preparation and Analysis

      Skills you'll gain: Machine Learning Algorithms, Statistical Analysis, Data Visualization, Data Analysis, Exploratory Data Analysis, Data Presentation, Data Cleansing, Applied Machine Learning, Analytics, Machine Learning, Data Science, Regression Analysis, Data Manipulation, Data Mining, Statistical Modeling, Python Programming, Feature Engineering, Scikit Learn (Machine Learning Library), Unsupervised Learning, Classification And Regression Tree (CART)

      Build toward a degree

      Intermediate · Course · 1 - 3 Months

    • J

      Johns Hopkins University

      Modeling Data in the Tidyverse

      Skills you'll gain: Statistical Modeling, Exploratory Data Analysis, R Programming, Predictive Modeling, Sampling (Statistics), Statistical Hypothesis Testing, Tidyverse (R Package), Data Analysis, Data Modeling, Regression Analysis, Data Science, Classification And Regression Tree (CART), Statistical Inference, Predictive Analytics, Statistical Analysis, Rmarkdown, Probability & Statistics, Machine Learning

      4.7
      Rating, 4.7 out of 5 stars
      ·
      9 reviews

      Mixed · Course · 1 - 3 Months

    • U

      University of Michigan

      Linear Regression Modeling for Health Data

      Skills you'll gain: Statistical Modeling, Regression Analysis, Statistical Methods, Statistical Inference, Probability & Statistics, Correlation Analysis, Data Analysis, Statistical Analysis, Statistical Hypothesis Testing, Predictive Modeling

      Intermediate · Course · 1 - 4 Weeks

    • S

      Sungkyunkwan University

      Machine Learning Algorithms

      Skills you'll gain: Machine Learning Algorithms, Decision Tree Learning, Unsupervised Learning, Machine Learning, Supervised Learning, Python Programming, Algorithms, Linear Algebra, Bayesian Statistics, Probability & Statistics

      3.5
      Rating, 3.5 out of 5 stars
      ·
      8 reviews

      Mixed · Course · 1 - 4 Weeks

    • U

      University of Colorado System

      Customer Data Analytics for Marketers

      Skills you'll gain: Marketing Analytics, Probability & Statistics, Statistical Methods, Regression Analysis, Data-Driven Decision-Making, Data Ethics, Statistical Analysis, Marketing Effectiveness, Statistical Hypothesis Testing, Customer Insights, Customer Analysis, Correlation Analysis, Descriptive Statistics, Data Analysis, Analytics, Marketing Strategies, Exploratory Data Analysis, Statistical Visualization, Statistical Modeling

      4.9
      Rating, 4.9 out of 5 stars
      ·
      10 reviews

      Intermediate · Course · 1 - 4 Weeks

    • L

      L&T EduTech

      Fire Protection System

      Skills you'll gain: Construction Inspection, Building Codes, System Requirements, Facility Management and Maintenance, Hydraulics, Plumbing, Water Resources, Safety and Security, Design Specifications, Engineering Calculations, Technical Standard

      4.2
      Rating, 4.2 out of 5 stars
      ·
      12 reviews

      Intermediate · Course · 1 - 4 Weeks

    1…646566…82

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

    • Advanced Quantitative Statistics with Excel: Coursera Instructor Network
    • AnĂ¡lise de Dados Quantitativos: FundaĂ§Ă£o Instituto de AdministraĂ§Ă£o
    • Python Basics: Automation and Bots: University of California, Davis
    • Teaching Impacts of Technology: Workplace of the Future: University of California San Diego
    • Java: Data Structures and Algorithms: Codio
    • Analytical Mechanics for Spacecraft Dynamics: University of Colorado Boulder
    • Data Preparation and Analysis: Illinois Tech
    • Modeling Data in the Tidyverse: Johns Hopkins University
    • Linear Regression Modeling for Health Data: University of Michigan
    • Machine Learning Algorithms: Sungkyunkwan University

    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