• 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
      D

      Duke University

      Data Science Math Skills

      Skills you'll gain: Probability, Bayesian Statistics, General Mathematics, Calculus, Graphing, Statistics, Data Science, Data Analysis, Plot (Graphics), Algebra, Geometry, Arithmetic, Derivatives

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

      Beginner · Course · 1 - 3 Months

    • H

      Hebrew University of Jerusalem

      Build a Modern Computer from First Principles: From Nand to Tetris (Project-Centered Course)

      Skills you'll gain: Computer Architecture, Computer Hardware, Computational Logic, Computer Programming, System Design and Implementation, Technical Design, Software Design, Program Development, Debugging, Verification And Validation, Development Environment

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

      Mixed · Course · 1 - 3 Months

    • M

      Macquarie University

      Excel Skills for Business: Intermediate II

      Skills you'll gain: Excel Formulas, Microsoft Excel, Excel Macros, Data Validation, Spreadsheet Software, Data Analysis Expressions (DAX), Data Modeling, Financial Forecasting, Predictive Modeling, Financial Modeling, Workflow Management, Data Integrity, Business Modeling, Automation, Process Optimization

      4.8
      Rating, 4.8 out of 5 stars
      ·
      8.3K reviews

      Intermediate · Course · 1 - 3 Months

    • U

      University of California, Davis

      Google SEO Fundamentals

      Skills you'll gain: Search Engine Optimization, Web Analytics and SEO, Keyword Research, Content Strategy, Digital Marketing, Content Performance Analysis, Content Creation, Artificial Intelligence, Information Architecture, User Experience

      4.8
      Rating, 4.8 out of 5 stars
      ·
      3.6K reviews

      Intermediate · Course · 1 - 4 Weeks

    • I

      IBM

      Supervised Machine Learning: Regression

      Skills you'll gain: Supervised Learning, Applied Machine Learning, Regression Analysis, Machine Learning, Statistical Machine Learning, Predictive Modeling, Statistical Modeling, Scikit Learn (Machine Learning Library), Feature Engineering, Artificial Intelligence and Machine Learning (AI/ML), Performance Metric

      4.7
      Rating, 4.7 out of 5 stars
      ·
      731 reviews

      Intermediate · Course · 1 - 3 Months

    • Status: Free
      Free
      J

      Johns Hopkins University

      Business Analytics with Excel: Elementary to Advanced

      Skills you'll gain: Risk Modeling, Operations Research, Regression Analysis, Microsoft Excel, Business Analytics, Risk Analysis, Business Process Modeling, Business Modeling, Data Modeling, Resource Allocation, Statistical Analysis, Process Optimization, Financial Analysis, Predictive Analytics, Transportation Operations, Complex Problem Solving, Linear Algebra

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

      Intermediate · Course · 1 - 3 Months

    • É

      École Polytechnique Fédérale de Lausanne

      Functional Programming Principles in Scala

      Skills you'll gain: Scala Programming, Programming Principles, Object Oriented Programming (OOP), Functional Design, Computer Programming, Data Structures, Integrated Development Environments, Javascript, Algorithms

      4.8
      Rating, 4.8 out of 5 stars
      ·
      8.3K reviews

      Intermediate · Course · 1 - 3 Months

    • Status: Free
      Free
      K

      Korea Advanced Institute of Science and Technology(KAIST)

      Differential Equations Part I Basic Theory

      Skills you'll gain: Differential Equations, Mathematical Modeling, Applied Mathematics, Calculus, Linear Algebra, Vibrations, Mechanics

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

      Beginner · Course · 1 - 3 Months

    • Status: Free
      Free
      E

      Erasmus University Rotterdam

      Econometrics: Methods and Applications

      Skills you'll gain: Econometrics, Time Series Analysis and Forecasting, Regression Analysis, Data Analysis, Statistical Analysis, Quantitative Research, Statistical Modeling, Statistics, Predictive Analytics, Probability, Linear Algebra, Peer Review

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

      Mixed · Course · 1 - 3 Months

    • U

      University of Colorado Boulder

      Real-Time Embedded Systems

      Skills you'll gain: Real-Time Operating Systems, Embedded Systems, Reliability, Embedded Software, Performance Tuning, Systems Architecture, Hardware Architecture, Software Architecture, Verification And Validation, Software Design, Debugging, System Design and Implementation, Hardware Design, System Programming, Software Systems, Linux, Operating Systems, OS Process Management, Performance Testing, Software Documentation

      Build toward a degree

      3.9
      Rating, 3.9 out of 5 stars
      ·
      105 reviews

      Intermediate · Specialization · 3 - 6 Months

    • L

      L&T EduTech

      Fundamentals of Digital Design for VLSI Chip Design

      Skills you'll gain: Field-Programmable Gate Array (FPGA), Application Specific Integrated Circuits, Computational Logic, Computer Architecture, Hardware Design, Electronics Engineering, Electronics, Programmable Logic Controllers, Electronic Systems, Semiconductors, Electronic Components, Data Storage, Data Storage Technologies

      4.6
      Rating, 4.6 out of 5 stars
      ·
      85 reviews

      Intermediate · Course · 1 - 4 Weeks

    • U

      University of Colorado Boulder

      Requirement Specifications for Autonomous Systems

      Skills you'll gain: Computational Logic, Theoretical Computer Science, System Requirements, Agentic systems, Verification And Validation, Mathematical Modeling, Control Systems, Linear Algebra, Computer Science, Applied Mathematics

      Build toward a degree

      Intermediate · Course · 1 - 3 Months

    1…789…82

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

    • Data Science Math Skills: Duke University
    • Build a Modern Computer from First Principles: From Nand to Tetris (Project-Centered Course): Hebrew University of Jerusalem
    • Excel Skills for Business: Intermediate II: Macquarie University
    • Google SEO Fundamentals: University of California, Davis
    • Supervised Machine Learning: Regression: IBM
    • Business Analytics with Excel: Elementary to Advanced: Johns Hopkins University
    • Functional Programming Principles in Scala: École Polytechnique Fédérale de Lausanne
    • Differential Equations Part I Basic Theory: Korea Advanced Institute of Science and Technology(KAIST)
    • Econometrics: Methods and Applications: Erasmus University Rotterdam
    • Real-Time Embedded Systems: University of Colorado Boulder

    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