• 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: 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: Free Trial
    Free Trial
    B

    Board Infinity

    Job & Exam Aptitude Mastery: Reasoning | DI | Verbal | Quant

    Skills you'll gain: Vocabulary, Critical Thinking and Problem Solving, Logical Reasoning, Analytical Skills, Critical Thinking, Deductive Reasoning, Arithmetic, Problem Solving, Data Literacy, Grammar, Language Competency, English Language, Data Analysis, Literacy, Complex Problem Solving, Learning Strategies, Trend Analysis, Data Synthesis, Applied Mathematics, Algebra

    3.3
    Rating, 3.3 out of 5 stars
    ·
    13 reviews

    Beginner · Specialization · 3 - 6 Months

  • 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

    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

    Packt

    LLMs in Enterprise

    Skills you'll gain: Prompt Engineering, Retrieval-Augmented Generation, LLM Application, Model Deployment, Responsible AI, Large Language Modeling, Fine-tuning, MLOps (Machine Learning Operations), Multimodal Prompts, Prompt Patterns, Enterprise Application Management, Application Deployment, Model Optimization, AI Workflows, Model Evaluation, Data Management, Model Training, Generative AI, Embeddings, API Design

    Intermediate · Specialization · 3 - 6 Months

  • U

    University of North Texas

    Math Prep: College & Work Ready

    Skills you'll gain: Arithmetic, Graphing, Geometry, Statistics, Algebra, Descriptive Statistics, General Mathematics, Applied Mathematics, Statistical Visualization

    4.5
    Rating, 4.5 out of 5 stars
    ·
    327 reviews

    Beginner · Course · 1 - 4 Weeks

What brings you to Coursera today?

  • 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

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

    Coursera

    Building Reliable LLM Systems

    Skills you'll gain: LLM Application, Model Evaluation, Large Language Modeling, Retrieval-Augmented Generation, Vector Databases, MLOps (Machine Learning Operations), Performance Tuning, Debugging, Performance Testing, Statistical Methods, Query Languages, SQL, Statistical Hypothesis Testing, Statistical Analysis, Artificial Intelligence and Machine Learning (AI/ML), Data-Driven Decision-Making, Python Programming

    Intermediate · Course · 1 - 3 Months

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

    Coursera

    Testing and Refining LLM Applications

    Skills you'll gain: MLOps (Machine Learning Operations), LLM Application, AI Security, Test Automation, Test Script Development, Test Driven Development (TDD), Unit Testing, CI/CD, Continuous Integration, Software Testing, Testability, Large Language Modeling, Model Deployment, Test Case, Responsible AI, Security Testing, AI Workflows, Python Programming, Statistical Analysis, SQL

    Intermediate · Course · 1 - 3 Months

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

    Coursera

    End-to-End Multimodal AI: Fine-Tuning, Fusion, and MLOps

    Skills you'll gain: API Design, MLOps (Machine Learning Operations), Restful API, Fine-tuning, OAuth, Model Deployment, Technical Communication, Model Training, Model Evaluation, Transfer Learning, Vision Transformer (ViT), Model Optimization, AI Workflows, Artificial Intelligence and Machine Learning (AI/ML), Machine Learning Software, Solution Architecture, Machine Learning, Data Architecture, Machine Learning Algorithms, Data Science

    Intermediate · Course · 3 - 6 Months

  • Status: New
    New
    P

    Packt

    Building LLM Powered Applications

    Skills you'll gain: LangChain, LLM Application, Prompt Engineering, Responsible AI, Large Language Modeling, Hugging Face, Multimodal Prompts, Generative AI, Generative Model Architectures, Retrieval-Augmented Generation, Generative AI Agents, Risking, AI Orchestration, Fine-tuning, Python Programming, Vector Databases, Machine Learning, Agentic systems, Data Science

    Beginner · Course · 3 - 6 Months

  • Status: Preview
    Preview
    U

    Universidad Nacional Autónoma de México

    Álgebra básica

    Skills you'll gain: Algebra, General Mathematics, Arithmetic, Applied Mathematics, Geometry

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

    Mixed · Course · 1 - 3 Months

1234…9

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

  • LLM Engineering That Works: Prompting, Tuning, and Retrieval: Coursera
  • Job & Exam Aptitude Mastery: Reasoning | DI | Verbal | Quant: Board Infinity
  • Linear Algebra from Elementary to Advanced: Johns Hopkins University
  • Designing Production LLM Architectures: Coursera
  • LLMs in Enterprise: Packt
  • Math Prep: College & Work Ready: University of North Texas
  • Chip based VLSI design for Industrial Applications: L&T EduTech
  • Building Reliable LLM Systems: Coursera
  • Testing and Refining LLM Applications: Coursera
  • End-to-End Multimodal AI: Fine-Tuning, Fusion, and MLOps: Coursera

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