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"
University of Colorado Boulder
Skills you'll gain: Computational Logic, Theoretical Computer Science, System Requirements, Agentic systems, Verification And Validation, Mathematical Modeling, Control Systems, Linear Algebra, Computer Science, Applied Mathematics
Universidad Nacional Autónoma de México
Skills you'll gain: Bayesian Network, Program Development, Computational Logic, Game Theory, Artificial Intelligence, Artificial Intelligence and Machine Learning (AI/ML), Algorithms, Computational Thinking, Creativity, Engineering Software, Markov Model, Software Development, Theoretical Computer Science, Generative AI, Decision Support Systems, Applied Machine Learning, Data Ethics, Problem Management, Social Sciences, Bioinformatics
- Status: Free
Universitat Autònoma de Barcelona
Skills you'll gain: Systems Design, Application Specific Integrated Circuits, Computational Logic, Computer Architecture, Digital Design, Computer Hardware, Hardware Architecture, Verification And Validation, Other Programming Languages
- Status: Free
Universidad de los Andes
Skills you'll gain: Mathematics Education, Arithmetic, Geometry, Systems Of Measurement, Graphing, Algebra
California Institute of the Arts
Skills you'll gain: Information Architecture, Persona (User Experience), UI/UX Strategy, User Experience Design, Web Design, Wireframing, User Research, Mockups, Usability Testing, Agile Methodology, Waterfall Methodology
Kennesaw State University
Skills you'll gain: Process Capability, Team Management, Statistical Process Controls, Exploratory Data Analysis, Six Sigma Methodology, Probability & Statistics, Process Analysis, Statistical Analysis, Lean Six Sigma, Process Mapping, Correlation Analysis, Data Analysis, Data Collection, Regression Analysis, Process Improvement, Quality Improvement, Business Process, Graphing
EIT Digital
Skills you'll gain: Computational Logic, Theoretical Computer Science, Systems Analysis, Verification And Validation, Algorithms, Data Structures
- Status: Free
Nanjing University
Skills you'll gain: Language Interpretation, Translation, and Studies, Language Competency, Vocabulary, English Language, Writing and Editing, Grammar, Cultural Sensitivity
Johns Hopkins University
Skills you'll gain: Algebra, Arithmetic, Mathematical Modeling, Applied Mathematics, Graphing, Probability & Statistics
Imperial College London
Skills you'll gain: Epidemiology, Clinical Trials, Research Design, Clinical Research, Public Health, Preventative Care, Data Collection, Biostatistics, Research Methodologies, Program Evaluation, Research, General Medical Tests and Procedures, Probability & Statistics, Risk Analysis, Quantitative Research, Health Policy, Correlation Analysis, Science and Research, Statistical Methods, Statistical Analysis
- Status: Free
Ludwig-Maximilians-Universität München (LMU)
Skills you'll gain: Finite Element Methods, Numerical Analysis, Engineering Analysis, Jupyter, Differential Equations, Applied Mathematics, NumPy, Mathematical Modeling, Distributed Computing, Python Programming, Mechanics, Vibrations, Linear Algebra, Simulations
Rice University
Skills you'll gain: Statistical Hypothesis Testing, Regression Analysis, Statistical Analysis, Statistical Modeling, Statistical Inference, Business Analytics, Microsoft Excel, Estimation, Data Analysis, Data Transformation
In summary, here are 10 of our most popular linear temporal logic specifications courses
- Requirement Specifications for Autonomous Systems:Â University of Colorado Boulder
- Introducción a la inteligencia artificial: Universidad Nacional Autónoma de México
- Sistemas Digitales: De las puertas lógicas al procesador: Universitat Autònoma de Barcelona
- Contenido de las matemáticas de primaria: Universidad de los Andes
- Web Design: Strategy and Information Architecture:Â California Institute of the Arts
- Six Sigma Advanced Define and Measure Phases:Â Kennesaw State University
- Automated Reasoning: Symbolic Model Checking:Â EIT Digital
- Translation in Practice:Â Nanjing University
- Algebra: Elementary to Advanced - Equations & Inequalities:Â Johns Hopkins University
- Epidemiology for Public Health:Â Imperial College London