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.
Level
Required
Duration
Required
Skills
Required
Subtitles
Required
Educator
Required
Results for "linear+temporal+logic+specifications"
Duke University
Skills you'll gain: Machine Learning
Board Infinity
Skills you'll gain: Computer Programming
University of Colorado Boulder
University of Colorado Boulder
Northeastern University
University of Colorado Boulder
Skills you'll gain: Interactive Design
University of Colorado Boulder
Status: FreeInstituto Tecnológico de Aeronáutica
Status: FreeCoursera Project Network
In summary, here are 10 of our most popular linear+temporal+logic+specifications courses
- Rust for Large Language Model Operations (LLMOps):Â Duke University
- Static & Dynamic Analysis for Technical Testing:Â Board Infinity
- z/Architecture Assembler Language Part 1: The Basics:Â IBM
- Requirement Specifications for Autonomous Systems:Â University of Colorado Boulder
- Verification and Synthesis of Autonomous Systems:Â University of Colorado Boulder
- Industrial Optimization: Models & Linear Programming:Â Northeastern University
- Description Design for Interactive Learning Resources:Â University of Colorado Boulder
- Rapid Prototyping of Embedded Interface Designs:Â University of Colorado Boulder
- CPS Design for Mechatronics, Healthcare, EV & Robotics:Â L&T EduTech
- Controle a Tempo Discreto: Instituto Tecnológico de Aeronáutica
