Filter by
The language used throughout the course, in both instruction and assessments.
Results for "linear+temporal+logic+(ltl)"
- Status: Free
Tecnológico de Monterrey
Skills you'll gain: Applied Mathematics, Algebra, Mathematical Modeling, Mathematics Education, Graphing, Advanced Mathematics, Calculus, Mathematical Theory & Analysis, Graphical Tools, Derivatives
Coursera Project Network
Skills you'll gain: Regression Analysis, NumPy, Applied Machine Learning, Supervised Learning, Machine Learning Algorithms, Machine Learning, Python Programming
Skills you'll gain: Product Lifecycle Management, Manufacturing and Production, Robotic Process Automation, Production Process, Automation, Enterprise Resource Planning, Internet Of Things, Digital Transformation, Systems Integration, Computer-Aided Design, Predictive Modeling, Artificial Intelligence, Data Sharing, Augmented Reality
- Status: Free
Coursera Instructor Network
Skills you'll gain: Generative AI, Forecasting, Artificial Intelligence and Machine Learning (AI/ML), Business Solutions, Artificial Intelligence, Business Strategies, Natural Language Processing, Applied Machine Learning, Technology Roadmaps, Personalized Service
- Status: Free
DeepLearning.AI
Skills you'll gain: Reinforcement Learning, Generative AI, Performance Tuning, Natural Language Processing, Open Source Technology, Artificial Intelligence, Data Ethics
- Status: Free
Pontificia Universidad Católica de Chile
Skills you'll gain: Field-Programmable Gate Array (FPGA), Hardware Design, Computational Logic, Computer-Aided Design, Electronic Hardware, Electrical and Computer Engineering, Semiconductors, Technical Design, Electronic Components, Simulation and Simulation Software
Johns Hopkins University
Skills you'll gain: Algebra, Advanced Mathematics, Applied Mathematics, Analytical Skills, Mathematical Modeling, Geometry, Graphing
L&T EduTech
Skills you'll gain: Internet Of Things, Robotic Process Automation, Automation, Image Analysis, Industrial Engineering, Computer Vision, Equipment Design, Embedded Software, Engineering, Manufacturing and Production, Program Development, Computer Programming, Technical Design, Mechanical Design, Mechanics, Mechanical Engineering, Process Control, Computer Science, Electronic Components
University of Illinois Urbana-Champaign
Skills you'll gain: Learning Theory, Instructional Design, Human Learning, Technology Solutions, Disabilities, Student Engagement, Technology Strategies, User Centered Design, Innovation, Gerontology
- Status: Free
Coursera Instructor Network
Skills you'll gain: Application Deployment, Application Development, Data Ethics, Artificial Intelligence, Generative AI, Development Environment, Applied Machine Learning, Deep Learning, Application Security
University of Illinois Urbana-Champaign
Skills you'll gain: Computational Logic, Application Specific Integrated Circuits, Theoretical Computer Science, Hardware Design, Data Structures, Verification And Validation, Computer-Aided Design, Computer Architecture, Algorithms, Electrical and Computer Engineering, Programming Principles
Universidad de los Andes
Skills you'll gain: Process Control, Mathematical Modeling, Engineering Analysis, Matlab, Simulation and Simulation Software, Systems Analysis, Systems Design, Differential Equations, Applied Mathematics, Linear Algebra
In summary, here are 10 of our most popular linear+temporal+logic+(ltl) courses
- 3.- El Cálculo - Modelo Cúbico: Tecnológico de Monterrey
- Linear Regression with Python: Coursera Project Network
- Industry 4.0: PLM, Value Chain, and Smart Factory: L&T EduTech
- Fine-tuning Language Models for Business Tasks: Coursera Instructor Network
- Reinforcement Learning from Human Feedback: DeepLearning.AI
- Electrónica Digital Bit a Bit: Fundamentos, Verilog y FPGA: Pontificia Universidad Católica de Chile
- Algebra: Elementary to Advanced - Polynomials and Roots: Johns Hopkins University
- Robotics Engineering & Applications: L&T EduTech
- Learning Technologies Foundations and Applications: University of Illinois Urbana-Champaign
- Building Production-Ready Apps with Large Language Models: Coursera Instructor Network