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

    • D

      Duke University

      Open Source LLMOps Solutions

      Skills you'll gain: Large Language Modeling, Generative AI, Natural Language Processing, PyTorch (Machine Learning Library), Open Source Technology, Tensorflow, Artificial Intelligence and Machine Learning (AI/ML), Containerization, Application Deployment, Application Programming Interface (API), Command-Line Interface

      4.7
      Rating, 4.7 out of 5 stars
      ·
      10 reviews

      Beginner · Course · 1 - 4 Weeks

    • J

      Johns Hopkins University

      Simple Regression Analysis in Public Health

      Skills you'll gain: Biostatistics, Regression Analysis, Statistical Methods, Statistical Analysis, Epidemiology, Quantitative Research, Public Health, Data Analysis, Probability & Statistics, Statistical Inference

      4.7
      Rating, 4.7 out of 5 stars
      ·
      382 reviews

      Beginner · Course · 1 - 3 Months

    • S

      SAS

      Statistics with SAS

      Skills you'll gain: SAS (Software), Statistical Hypothesis Testing, Statistical Software, Statistical Analysis, Predictive Modeling, Statistical Modeling, Statistical Methods, Regression Analysis, Probability & Statistics, Data Analysis

      4.7
      Rating, 4.7 out of 5 stars
      ·
      297 reviews

      Intermediate · Course · 1 - 3 Months

    • U

      University of Colorado System

      SRS Documents: Requirements and Diagrammatic Notations

      Skills you'll gain: Software Design Documents, User Requirements Documents, Functional Requirement, Software Documentation, Unified Modeling Language, Functional Specification, Requirements Analysis, System Requirements, Systems Design, Technical Documentation, Data Modeling, Software Visualization, Systems Analysis, Dataflow

      4.3
      Rating, 4.3 out of 5 stars
      ·
      53 reviews

      Beginner · Course · 1 - 3 Months

    • L

      L&T EduTech

      Design of Digital Circuits with VHDL Programming

      Skills you'll gain: Field-Programmable Gate Array (FPGA), Electronics Engineering, Hardware Design, Electronic Hardware, Embedded Systems, Computer Engineering, Verification And Validation, Simulation and Simulation Software, Integrated Development Environments, Simulations

      4.5
      Rating, 4.5 out of 5 stars
      ·
      10 reviews

      Intermediate · Course · 1 - 4 Weeks

    • E

      EIT Digital

      Automated Reasoning: satisfiability

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

      4.8
      Rating, 4.8 out of 5 stars
      ·
      44 reviews

      Intermediate · Course · 1 - 4 Weeks

    • C

      Coursera Project Network

      Exploratory Data Analysis With Python and Pandas

      Skills you'll gain: Exploratory Data Analysis, Correlation Analysis, Matplotlib, Seaborn, Data Cleansing, Data Visualization, Pandas (Python Package), Data Analysis, Data Manipulation, NumPy, Statistical Analysis

      4.5
      Rating, 4.5 out of 5 stars
      ·
      435 reviews

      Beginner · Guided Project · Less Than 2 Hours

    • U

      University of Colorado Boulder

      Dynamic Programming, Greedy Algorithms

      Skills you'll gain: Theoretical Computer Science, Algorithms, Computational Thinking, Data Structures, Design Strategies, Programming Principles, Computer Science, Advanced Mathematics, Linear Algebra, Analysis

      4.6
      Rating, 4.6 out of 5 stars
      ·
      220 reviews

      Advanced · Course · 1 - 4 Weeks

    • N

      Northwestern University

      Modern Robotics, Course 3: Robot Dynamics

      Skills you'll gain: Simulation and Simulation Software, Mathematical Modeling, Mechanical Engineering, Engineering Calculations, Mechanics, Algorithms, Torque (Physics), Differential Equations, Control Systems, Applied Mathematics, Calculus, Linear Algebra

      4.7
      Rating, 4.7 out of 5 stars
      ·
      169 reviews

      Intermediate · Course · 1 - 4 Weeks

    • U

      University of Illinois Urbana-Champaign

      Inferential and Predictive Statistics for Business

      Skills you'll gain: Statistical Inference, Business Analytics, Analytics, Statistical Analysis, Statistical Hypothesis Testing, Regression Analysis, Data-Driven Decision-Making, Business Mathematics, Statistical Methods, Probability & Statistics, Statistical Modeling, Predictive Analytics, Microsoft Excel

      4.8
      Rating, 4.8 out of 5 stars
      ·
      862 reviews

      Intermediate · Course · 1 - 3 Months

    • I

      IBM

      Data Analysis with R

      Skills you'll gain: Data Wrangling, Exploratory Data Analysis, Data Analysis, Data Transformation, R Programming, Data Manipulation, Data Visualization, Box Plots, Predictive Analytics, Statistical Analysis, Regression Analysis, Statistical Modeling, Correlation Analysis, Data Cleansing, Tidyverse (R Package), Supervised Learning

      4.7
      Rating, 4.7 out of 5 stars
      ·
      332 reviews

      Intermediate · Course · 1 - 3 Months

    • D

      Duke University

      Rust for Large Language Model Operations (LLMOps)

      Skills you'll gain: Large Language Modeling, Generative AI, Rust (Programming Language), MLOps (Machine Learning Operations), PyTorch (Machine Learning Library), CI/CD, Applied Machine Learning, Application Deployment, System Monitoring, Cloud Development, Natural Language Processing, DevOps, Amazon Web Services, Deep Learning, Cloud Security

      4.1
      Rating, 4.1 out of 5 stars
      ·
      11 reviews

      Intermediate · Course · 1 - 4 Weeks

    1…252627…83

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

    • Open Source LLMOps Solutions: Duke University
    • Simple Regression Analysis in Public Health : Johns Hopkins University
    • Statistics with SAS: SAS
    • SRS Documents: Requirements and Diagrammatic Notations: University of Colorado System
    • Design of Digital Circuits with VHDL Programming: L&T EduTech
    • Automated Reasoning: satisfiability: EIT Digital
    • Exploratory Data Analysis With Python and Pandas: Coursera Project Network
    • Dynamic Programming, Greedy Algorithms: University of Colorado Boulder
    • Modern Robotics, Course 3: Robot Dynamics: Northwestern University
    • Inferential and Predictive Statistics for Business: University of Illinois Urbana-Champaign

    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