Filter by
SubjectRequired
LanguageRequired
The language used throughout the course, in both instruction and assessments.
Learning ProductRequired
LevelRequired
DurationRequired
SkillsRequired
SubtitlesRequired
EducatorRequired
Results for "linear temporal logic specifications"
L&T EduTech
Skills you'll gain: Product Lifecycle Management, Embedded Systems, Embedded Software, Manufacturing and Production, Robotic Process Automation, Manufacturing Processes, Control Systems, Computer-Aided Design, Manufacturing Operations, Programmable Logic Controllers, Automation, Internet Of Things, Production Process, Mechanical Design, Cyber Engineering, Lean Manufacturing, Digital Transformation, Business Technologies, Engineering Analysis, C (Programming Language)
University of Colorado System
Skills you'll gain: Linear Algebra, Mathematical Modeling, Estimation, Matlab, Statistical Modeling, Applied Mathematics, Control Systems, Time Series Analysis and Forecasting, Simulation and Simulation Software, Probability & Statistics, System Implementation, Differential Equations
University of Colorado Boulder
Skills you'll gain: Markov Model, Molecular Biology, Bioinformatics, Mathematical Modeling, Engineering Analysis, Electrical Engineering, Chemical and Biomedical Engineering, Engineering Design Process, Systems Design, Computational Thinking, Simulations, Biochemistry, Electrical and Computer Engineering, Computational Logic, Differential Equations, Software Visualization, Systems Analysis, Failure Analysis, Simulation and Simulation Software, Molecular, Cellular, and Microbiology
- Status: Free
Coursera Project Network
Skills you'll gain: Program Evaluation, Goal Setting, Survey Creation, Performance Measurement, Training and Development, Data Collection, Research Methodologies, Business Modeling
- Status: New
Johns Hopkins University
Skills you'll gain: Descriptive Statistics, Linear Algebra, Exploratory Data Analysis, Data-Driven Decision-Making, Bayesian Statistics, Statistics, Artificial Intelligence and Machine Learning (AI/ML), Probability, Regression Analysis, Calculus, Statistical Analysis, Advanced Mathematics, Applied Mathematics, Probability Distribution, Mathematical Modeling, Integral Calculus, Algebra, Machine Learning Algorithms, Dimensionality Reduction, Correlation Analysis
Skills you'll gain: Applied Mathematics, Mathematics and Mathematical Modeling, Linear Algebra, Probability, Mathematical Modeling, Computer Science, Algebra, Probability & Statistics, Statistics, Physics, Mechanics, Emerging Technologies
- Status: Free
École normale supérieure
Skills you'll gain: Algebra, Linear Algebra, Combinatorics, Arithmetic, Advanced Mathematics, Mathematics and Mathematical Modeling
- Status: New
University of Colorado Boulder
Skills you'll gain: Computational Logic, Systems Architecture, Verification And Validation, Systems Design, Software Architecture, Theoretical Computer Science, Digital Communications, Simulations, Algorithms, Safety and Security
Coursera Project Network
Skills you'll gain: Exploratory Data Analysis, Statistical Modeling, Regression Analysis, Data Visualization, Data Analysis, Statistical Methods, Scatter Plots, R Programming, Plot (Graphics), Predictive Modeling
University of Colorado Boulder
Skills you'll gain: Mathematical Modeling, Software Systems, Mechanical Engineering, Systems Analysis, Systems Engineering, Simulations, Applied Mathematics, Automation, Differential Equations, Hardware Architecture, Verification And Validation
- Status: Free
Coursera Project Network
Skills you'll gain: Portfolio Management, Finance, Financial Modeling, Correlation Analysis, Investment Management, Risk Modeling, Equities, Probability & Statistics
LearnQuest
Skills you'll gain: Visual Basic (Programming Language), Development Environment, Program Development, Microsoft Development Tools, .NET Framework, Data Storage, Computer Programming, Computational Logic, Cross Platform Development, Command-Line Interface, Debugging
In summary, here are 10 of our most popular linear temporal logic specifications courses
- Digital Technology in Manufacturing:Â L&T EduTech
- Kalman Filter Boot Camp (and State Estimation):Â University of Colorado System
- Engineering Genetic Circuits:Â University of Colorado Boulder
- How to Create a Program Evaluation for Your Non-Profit :Â Coursera Project Network
- Foundational Mathematics for AI:Â Johns Hopkins University
- Mathematical Foundations and Quantum Mechanics Essentials:Â Packt
- Introduction à la théorie de Galois: École normale supérieure
- Temporal Logic Model Checking :Â University of Colorado Boulder
- Building Statistical Models in R: Linear Regression:Â Coursera Project Network
- Modeling of Autonomous Systems:Â University of Colorado Boulder