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

      The Chinese University of Hong Kong

      离散优化建模高阶篇 Advanced Modeling for Discrete Optimization

      Skills you'll gain: Mathematical Modeling, Operations Research, Debugging, Computational Logic, Applied Mathematics, Performance Tuning, Algorithms, Geometry

      4.3
      Rating, 4.3 out of 5 stars
      ·
      6 reviews

      Intermediate · Course · 1 - 3 Months

    • T

      The Hong Kong University of Science and Technology

      Search Engines for Web and Enterprise Data

      Skills you'll gain: Web Analytics and SEO, AI Personalization, Semantic Web, Algorithms, Query Languages, Network Analysis, Text Mining, Information Architecture, Performance Testing, Natural Language Processing, User Research, Data Structures, Business Modeling, Graph Theory, Applied Machine Learning

      5
      Rating, 5 out of 5 stars
      ·
      7 reviews

      Intermediate · Course · 3 - 6 Months

    • Status: Free
      Free
      C

      Coursera Project Network

      Crea wireframes digitales con Figma

      Skills you'll gain: Wireframing, Figma (Design Software), Collaborative Software, Prototyping, User Flows, User Interface (UI), UI Components, Information Architecture

      4.7
      Rating, 4.7 out of 5 stars
      ·
      17 reviews

      Beginner · Guided Project · Less Than 2 Hours

    • U

      University of Colorado Boulder

      Measurement Systems Analysis

      Skills you'll gain: Correlation Analysis, Statistical Visualization, Data Visualization, Statistical Analysis, Data Analysis, Box Plots, Systems Of Measurement, Data Quality, Run Chart, R Programming, Scatter Plots, Regression Analysis, Statistical Methods, Verification And Validation, Continuous Monitoring, Statistical Hypothesis Testing

      4.6
      Rating, 4.6 out of 5 stars
      ·
      9 reviews

      Intermediate · Course · 1 - 3 Months

    • Status: Free
      Free
      D

      DeepLearning.AI

      Function-Calling and Data Extraction with LLMs

      Skills you'll gain: Large Language Modeling, Unstructured Data, SQL, Text Mining, Web Services, Prompt Engineering, Application Development, Generative AI, Application Programming Interface (API), Data Processing, Artificial Intelligence

      4.9
      Rating, 4.9 out of 5 stars
      ·
      7 reviews

      Intermediate · Project · Less Than 2 Hours

    • U

      University of Colorado Boulder

      Data Understanding and Visualization

      Skills you'll gain: Matplotlib, Seaborn, Data Visualization, Data-Driven Decision-Making, Exploratory Data Analysis, Data Presentation, Plot (Graphics), Data Visualization Software, Descriptive Statistics, Data Storytelling, Pandas (Python Package), Statistical Methods, Data Analysis, Statistics, Statistical Analysis, Data Manipulation, Box Plots, Scatter Plots, Correlation Analysis, Histogram

      4.9
      Rating, 4.9 out of 5 stars
      ·
      7 reviews

      Intermediate · Course · 1 - 4 Weeks

    • A

      Alibaba Cloud Academy

      Development and Operation on Alibaba Cloud

      Skills you'll gain: Docker (Software), Containerization, Application Deployment, Kubernetes, Terraform, Prometheus (Software), Cloud Computing, Performance Tuning, Application Performance Management, Cloud Management, Cloud Applications, DevOps, Performance Testing, Cloud Infrastructure, Database Management, Relational Databases, Systems Administration, Redis, Cloud Platforms, Database Administration

      4.7
      Rating, 4.7 out of 5 stars
      ·
      9 reviews

      Beginner · Specialization · 3 - 6 Months

    • Status: Free
      Free
      V

      Vanderbilt University

      MATLAB을 사용한 프로그래밍 소개

      Skills you'll gain: Programming Principles, Computer Programming, Matlab, Debugging, Integrated Development Environments, Linear Algebra, Computer Science, Development Environment, User Interface (UI), Data Import/Export, Data Structures, File Management

      5
      Rating, 5 out of 5 stars
      ·
      6 reviews

      Beginner · Course · 1 - 3 Months

    • L

      L&T EduTech

      Design and Detailing of RCC elements

      Skills you'll gain: Structural Engineering, Structural Analysis, Construction Estimating, Civil Engineering, Engineering Practices, Construction Engineering, Construction, Architectural Engineering, Engineering Calculations, Building Codes, Building Design, Design Specifications, Engineering Documentation, Engineering Drawings, Estimation

      4.8
      Rating, 4.8 out of 5 stars
      ·
      6 reviews

      Intermediate · Course · 1 - 4 Weeks

    • A

      Arizona State University

      Perspective-Taking

      Skills you'll gain: Influencing, Strategic Thinking, Negotiation, Communication Strategies, Active Listening, Strategic Communication, Game Theory, Empathy, Critical Thinking, Decision Making, Motivational Skills, Problem Solving, Cognitive flexibility

      Mixed · Course · 1 - 3 Months

    • C

      Coursera Project Network

      Design Restaurant Menu Website using HTML and CSS on VScode

      Skills you'll gain: Cascading Style Sheets (CSS), Hypertext Markup Language (HTML), Web Design and Development, Web Design, Web Development, UI Components, Front-End Web Development, Information Architecture

      4.5
      Rating, 4.5 out of 5 stars
      ·
      10 reviews

      Beginner · Guided Project · Less Than 2 Hours

    • Status: Free
      Free
      D

      DeepLearning.AI

      Quantization Fundamentals with Hugging Face

      Skills you'll gain: Generative AI, Large Language Modeling, Performance Tuning, PyTorch (Machine Learning Library), Applied Machine Learning

      4.9
      Rating, 4.9 out of 5 stars
      ·
      11 reviews

      Beginner · Project · Less Than 2 Hours

    1…656667…82

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

    • 离散优化建模高阶篇 Advanced Modeling for Discrete Optimization: The Chinese University of Hong Kong
    • Search Engines for Web and Enterprise Data: The Hong Kong University of Science and Technology
    • Crea wireframes digitales con Figma: Coursera Project Network
    • Measurement Systems Analysis: University of Colorado Boulder
    • Function-Calling and Data Extraction with LLMs: DeepLearning.AI
    • Data Understanding and Visualization: University of Colorado Boulder
    • Development and Operation on Alibaba Cloud: Alibaba Cloud Academy
    • MATLAB을 사용한 프로그래밍 소개: Vanderbilt University
    • Design and Detailing of RCC elements: L&T EduTech
    • Perspective-Taking: Arizona State 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