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

Results for "linear+temporal+logic+(ltl)"


  • Status: Free Trial
    Free Trial
    J

    Johns Hopkins University

    Linear Algebra from Elementary to Advanced

    Skills you'll gain: Linear Algebra, Algebra, Applied Mathematics, Advanced Mathematics, Artificial Intelligence and Machine Learning (AI/ML), Engineering Analysis, Mathematical Theory & Analysis, Geometry, Applied Machine Learning, Markov Model

    4.7
    Rating, 4.7 out of 5 stars
    ·
    230 reviews

    Beginner · Specialization · 3 - 6 Months

  • Status: New
    New
    Status: Free Trial
    Free Trial
    C

    Coursera

    LLM Engineering That Works: Prompting, Tuning, and Retrieval

    Skills you'll gain: Responsible AI, MLOps (Machine Learning Operations), Model Optimization, Model Deployment, Feature Engineering, Product Requirements, Prompt Engineering, Data Ethics, Prompt Patterns, LLM Application, Model Training, Kubernetes, AI Security, Systems Architecture, Large Language Modeling, Model Evaluation, PyTorch (Machine Learning Library), Apache Airflow, Data Pipelines, SQL

    Intermediate · Professional Certificate · 3 - 6 Months

  • Status: New
    New
    Status: Free Trial
    Free Trial
    P

    Packt

    LLMs in Enterprise

    Intermediate · Specialization · 3 - 6 Months

  • Status: New
    New
    Status: Free Trial
    Free Trial
    E

    Edureka

    LLM Engineering: Prompting, Fine-Tuning, Optimization & RAG

    Skills you'll gain: Retrieval-Augmented Generation, Prompt Engineering, Multimodal Prompts, Prompt Patterns, Prompt Engineering Tools, LLM Application, Fine-tuning, Model Evaluation, Context Engineering, LangChain, Token Optimization, Large Language Modeling, Hugging Face, Transfer Learning, Model Optimization, Model Deployment, Generative AI, LangGraph, Context Management, Vector Databases

    Intermediate · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    C

    Coursera

    Modern Project Leadership: Agile, AI, and Beyond

    Skills you'll gain: Project Risk Management, Workflow Management, Business Workflow Analysis, Team Performance Management, Risk Management, Leadership Studies, Team Leadership, Agile Project Management, Leadership and Management, Collaborative Software, Project Management, Innovation, Agile Software Development, Process Improvement, Strategic Decision-Making, Change Management, Artificial Intelligence, Adaptability, Digital Transformation, Communication

    4.6
    Rating, 4.6 out of 5 stars
    ·
    526 reviews

    Intermediate · Specialization · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    L

    L&T EduTech

    Chip based VLSI design for Industrial Applications

    Skills you'll gain: Field-Programmable Gate Array (FPGA), Electronic Systems, Electronic Hardware, Electronics, Hardware Design, Electronics Engineering, Serial Peripheral Interface, Electrical and Computer Engineering, Computational Logic, Microarchitecture, Electrical Engineering, Computer Architecture, Schematic Diagrams, Semiconductors, Hardware Architecture, Electronic Components, Internet Of Things, Verification And Validation, Simulation and Simulation Software, Design Software

    4.5
    Rating, 4.5 out of 5 stars
    ·
    182 reviews

    Intermediate · Specialization · 3 - 6 Months

What brings you to Coursera today?

  • Status: Preview
    Preview
    U

    University of Illinois Urbana-Champaign

    VLSI CAD Part I: Logic

    Skills you'll gain: Computational Logic, Application Specific Integrated Circuits, Theoretical Computer Science, Data Structures, Verification And Validation, Systems Design, Algorithms, Programming Principles, Design Software, Model Optimization, Digital Design

    4.6
    Rating, 4.6 out of 5 stars
    ·
    557 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: New
    New
    Status: Free Trial
    Free Trial
    C

    Coursera

    Designing Production LLM Architectures

    Skills you'll gain: LLM Application, Kubernetes, Systems Architecture, Large Language Modeling, Data Pipelines, Software Architecture, Software Design, Model Deployment, Application Deployment, Microservices, Apache Airflow, Containerization, Infrastructure Architecture, Cloud-Native Computing, Scalability, AWS CloudFormation, Managed Services, Azure DevOps, Open Source Technology, Diagram Design

    Intermediate · Course · 1 - 3 Months

  • Status: New
    New
    Status: Free Trial
    Free Trial
    P

    Pragmatic AI Labs

    Deterministic LLM programming

    Skills you'll gain: Retrieval-Augmented Generation, Amazon Bedrock, LLM Application, AWS SageMaker, Token Optimization, Large Language Modeling, Amazon Web Services, No-Code Development, Prompt Engineering, Generative AI, AI Orchestration, Model Deployment, Generative AI Agents, Package and Software Management, Model Training, Rust (Programming Language), Model Optimization, Performance Tuning

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    J

    Johns Hopkins University

    Calculus through Data & Modelling: Vector Calculus

    Skills you'll gain: Integral Calculus, Calculus, Advanced Mathematics, Applied Mathematics, Mathematical Modeling

    4.7
    Rating, 4.7 out of 5 stars
    ·
    50 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: New
    New
    Status: Preview
    Preview
    U

    Universitat Politècnica de València

    Aplicaciones de la Teoría de Grafos a la vida real I

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    L

    L&T EduTech

    Fundamentals of Digital Design for VLSI Chip Design

    Skills you'll gain: Field-Programmable Gate Array (FPGA), Computational Logic, Computer Architecture, Hardware Design, Hardware Architecture, Memory Management, Electronics, Electronic Systems, Electronic Components, Diagram Design, Data Storage, Data Storage Technologies, Algorithms

    4.5
    Rating, 4.5 out of 5 stars
    ·
    130 reviews

    Intermediate · Course · 1 - 4 Weeks

1234…9

In summary, here are 10 of our most popular linear+temporal+logic+(ltl) courses

  • Linear Algebra from Elementary to Advanced: Johns Hopkins University
  • LLM Engineering That Works: Prompting, Tuning, and Retrieval: Coursera
  • LLMs in Enterprise: Packt
  • LLM Engineering: Prompting, Fine-Tuning, Optimization & RAG: Edureka
  • Modern Project Leadership: Agile, AI, and Beyond: Coursera
  • Chip based VLSI design for Industrial Applications: L&T EduTech
  • VLSI CAD Part I: Logic: University of Illinois Urbana-Champaign
  • Designing Production LLM Architectures: Coursera
  • Deterministic LLM programming: Pragmatic AI Labs
  • Calculus through Data & Modelling: Vector Calculus: Johns Hopkins 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

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