• For Individuals
  • For Businesses
  • For Universities
  • For Governments
Degrees
​
Log In
Join for Free
  • Browse
  • Linear Temporal Logic Specifications

Results for "linear+temporal+logic+specifications"


  • B

    Birla Institute of Technology & Science, Pilani

    Linear Algebra for Machine Learning & AI

    Skills you'll gain: Linear Algebra, Numerical Analysis, Artificial Intelligence and Machine Learning (AI/ML), Applied Mathematics, AI Enablement, Data Analysis, Machine Learning, Dimensionality Reduction, Model Optimization, Artificial Neural Networks

    Beginner · Course · 1 - 3 Months

    Status: Free Trial
    Free Trial
    Category: Build toward a degree
    Build toward a degree
  • U

    University of Leeds

    An Introduction to Logic for Computer Science

    Skills you'll gain: Logical Reasoning, Deductive Reasoning, Computational Logic, Computational Thinking, Algorithms, Artificial Intelligence, Cryptography, Graph Theory

    ★ 4.6 (33) · Beginner · Course · 1 - 4 Weeks

    Category: Preview
    Preview
    Category: Credit offered
    Credit offered
  • C

    Coursera

    Build, Analyze, and Refactor LLM Workflows

    Skills you'll gain: Retrieval-Augmented Generation, LangChain, Prompt Patterns, LLM Application, AI Workflows, Performance Tuning, Large Language Modeling, Prompt Engineering, AI Orchestration, Maintainability, System Monitoring, Scalability, Code Reusability, Embeddings, Vector Databases

    Intermediate · Course · 1 - 4 Weeks

    Category: New
    New
    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • C

    Coursera

    OrCAD Essentials: Capture, Simulation & PCB Layout

    Skills you'll gain: Electronic Hardware, Electronics Engineering, Hardware Design, Electronic Components, Electronic Systems, Electronics, Schematic Diagrams, Electrical Engineering, Engineering Design Process, Diagram Design, Computer-Aided Design, Design Software, Simulation and Simulation Software, Thermal Management, Manufacturing and Production, Simulations

    Intermediate · Course · 1 - 4 Weeks

    Category: New
    New
    Category: Preview
    Preview
    Category: Credit offered
    Credit offered
  • U

    University of Colorado Boulder

    Real-Time Mission-Critical Systems Design

    Skills you'll gain: Real-Time Operating Systems, Embedded Software, Embedded Systems, Performance Tuning, Hardware Design, Systems Architecture, Systems Design, Electronic Hardware, Hardware Architecture, Software Architecture, System Design and Implementation, Reliability, System Programming, Performance Testing, Failure Analysis, System Requirements, Electrical Systems, Memory Management, Data Integrity, Linux

    ★ 4.3 (18) · Intermediate · Course · 1 - 4 Weeks

    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • U

    University of Colorado Boulder

    Real-Time Embedded Systems Theory and Analysis

    Skills you'll gain: Real-Time Operating Systems, Embedded Systems, Embedded Software, System Programming, System Design and Implementation, Software Design, OS Process Management, Linux, Systems Analysis, Test Tools, Theoretical Computer Science, Verification And Validation, Algorithms

    ★ 4.3 (20) · Advanced · Course · 1 - 4 Weeks

    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • 2

    28DIGITAL

    Quantitative Model Checking

    Skills you'll gain: Computational Logic, Markov Model, Verification And Validation, Theoretical Computer Science, Mathematical Modeling, Systems Analysis, Process Modeling, Probability, Algorithms, Probability Distribution, Logical Reasoning

    ★ 4.3 (54) · Intermediate · Course · 1 - 3 Months

    Category: Credit offered
    Credit offered
  • P

    Politecnico di Milano

    FPGA computing systems: Partial Dynamic Reconfiguration

    Skills you'll gain: Application Specific Integrated Circuits, Computer Architecture, Microarchitecture, Hardware Architecture, Cloud Infrastructure, Systems Design, System Configuration, Embedded Systems, Software Architecture, System Design and Implementation, Computing Platforms, Cloud Computing, Design Software

    ★ 4 (9) · Beginner · Course · 1 - 4 Weeks

    Category: Credit offered
    Credit offered
  • P

    Packt

    Essential Guide to LLMOps

    Skills you'll gain: LLM Application, MLOps (Machine Learning Operations), Large Language Modeling, Data Processing, Model Deployment, AI Workflows, Model Training, Responsible AI, Model Optimization, Generative AI, Scalability, Artificial Intelligence and Machine Learning (AI/ML), Model Evaluation, Continuous Monitoring, Artificial Intelligence, Data Collection

    Advanced · Course · 1 - 3 Months

    Category: New
    New
    Category: Credit offered
    Credit offered
  • U

    University of Colorado System

    Requirements Specifications: Goals and Conflict Analysis

    Skills you'll gain: Requirements Analysis, Security Requirements Analysis, Requirements Elicitation, Goal Setting, User Requirements Documents, Unified Modeling Language, Meeting Facilitation, Conflict Management, Discussion Facilitation, Risk Management Framework, Negotiation, Security Awareness

    ★ 4.7 (66) · Beginner · Course · 1 - 4 Weeks

    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • P

    Pontificia Universidad Católica de Chile

    Circuitos con SPICE: Sistemas trifásicos y análisis avanzado

    Skills you'll gain: Three-Phase, Electrical Engineering, Electrical Systems, Electronic Systems, Electric Power Systems, Electrical Power, Electrical and Computer Engineering, Basic Electrical Systems, Electronic Components, Electronics Engineering, Electronics, Engineering Analysis, Network Analysis, Simulation and Simulation Software

    Advanced · Course · 1 - 4 Weeks

    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • U

    University of Colorado Boulder

    Engineering Genetic Circuits: Abstraction Methods

    Skills you'll gain: Markov Model, Mathematical Modeling, Failure Analysis, Electrical and Computer Engineering, Biological Engineering, Process Modeling, Hazard Analysis, Simulations, Model Evaluation

    Intermediate · Course · 1 - 3 Months

    Status: Free Trial
    Free Trial
    Category: Build toward a degree
    Build toward a degree
1…6789

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

  • Linear Algebra for Machine Learning & AI: Birla Institute of Technology & Science, Pilani
  • An Introduction to Logic for Computer Science: University of Leeds
  • Build, Analyze, and Refactor LLM Workflows: Coursera
  • OrCAD Essentials: Capture, Simulation & PCB Layout: Coursera
  • Real-Time Mission-Critical Systems Design: University of Colorado Boulder
  • Real-Time Embedded Systems Theory and Analysis: University of Colorado Boulder
  • Quantitative Model Checking: 28DIGITAL
  • FPGA computing systems: Partial Dynamic Reconfiguration: Politecnico di Milano
  • Essential Guide to LLMOps: Packt
  • Requirements Specifications: Goals and Conflict Analysis: University of Colorado System

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

Skills

  • Accounting
  • Artificial Intelligence (AI)
  • Cybersecurity
  • Data Analytics
  • Digital Marketing
  • Human Resources (HR)
  • Microsoft Excel
  • Project Management
  • Python
  • SQL

Professional Certificates

  • Google AI Certificate
  • Google Cybersecurity Certificate
  • Google Data Analytics Certificate
  • Google IT Support Certificate
  • Google Project Management Certificate
  • Google UX Design Certificate
  • IBM AI Engineering Certificate
  • IBM AI Product Manager Certificate
  • IBM Data Science Certificate
  • Intuit Academy Bookkeeping Certificate

Courses & Specializations

  • AI Essentials Specialization
  • AI For Business Specialization
  • AI For Everyone Course
  • AI in Healthcare Specialization
  • Deep Learning Specialization
  • Excel Skills for Business Specialization
  • Financial Markets Course
  • Machine Learning Specialization
  • Prompt Engineering for ChatGPT Course
  • Python for Everybody Specialization

Career Resources

  • Career Aptitude Test
  • CAPM Certification Requirements
  • CompTIA A+ Certification Requirements
  • CompTIA Security+ Certification Requirements
  • Essential IT Certifications
  • Free IT Certifications and Courses
  • High-Income Skills to Learn
  • How to Learn Artificial Intelligence
  • PMP Certification Requirements
  • Popular Cybersecurity Certifications

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
  • Share your Coursera learning story

Community

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

More

  • Press
  • Investors
  • Terms
  • Privacy
  • Help
  • Accessibility
  • Contact
  • Articles
  • Directory
  • Affiliates
  • Modern Slavery Statement
  • Do Not Sell/Share
Learn Anywhere
Download on the App Store
Get it on Google Play
Logo of Certified B Corporation
© 2026 Coursera Inc. All rights reserved.
  • Coursera Facebook
  • Coursera Linkedin
  • Coursera Twitter
  • Coursera YouTube
  • Coursera Instagram
  • Coursera TikTok