Results for "quantitative model checking"
Skills you'll gain: Application Lifecycle Management, Azure DevOps, CI/CD, Continuous Delivery, Continuous Integration, DevOps, Data Validation, Data Governance, Data Quality, Test Automation, Extract, Transform, Load, Data Pipelines, Scalability, SQL
University of Pennsylvania
Skills you'll gain: Risk Management, Mathematical Modeling, Predictive Modeling, Risk Analysis, Simulation and Simulation Software, Operations Research, Probability Distribution, Data-Driven Decision-Making, Statistical Hypothesis Testing, Statistical Analysis, Microsoft Excel, Spreadsheet Software
University of Colorado Boulder
Skills you'll gain: Systems Design, Computational Logic, Verification And Validation, Software Systems, Theoretical Computer Science, Simulations, Programming Principles, Graph Theory, Model Evaluation, Hardware Architecture, Algorithms, Logical Reasoning
Board Infinity
Skills you'll gain: Arithmetic, Logical Reasoning, Quantitative Research, Estimation, Applied Mathematics, Advanced Mathematics, Algebra, Complex Problem Solving, General Mathematics
Skills you'll gain: MLOps (Machine Learning Operations), Model Evaluation, Version Control, Large Language Modeling, Git (Version Control System), Data Management, Performance Testing, Dashboard, Machine Learning, Scripting, Performance Analysis, Technical Documentation
Vanderbilt University
Skills you'll gain: Large Language Modeling, Responsible AI, Decision Making, Team Management, Resource Allocation, Generative AI, Qualitative Research, Prompt Engineering, Analysis, Communication, Project Management, Data Ethics, Data-Driven Decision-Making, Data Storytelling, Data Visualization
University of Colorado Boulder
Skills you'll gain: Graph Theory, Arithmetic
Skills you'll gain: AI Security, Responsible AI, LLM Application, Unit Testing, Verification And Validation, API Testing, Test Case, Security Testing, Software Testing, Code Coverage, Large Language Modeling, Model Evaluation, Test Tools, Test Script Development, Prompt Engineering, Threat Modeling, Penetration Testing, Maintainability, Software Technical Review, Quality Assessment
University of Colorado Boulder
Skills you'll gain: Embedded Software, Embedded Systems, Debugging, Model Based Systems Engineering, Computer Engineering, Failure Analysis, Simulation and Simulation Software, Technical Communication, Electronics Engineering, Automation Engineering
Skills you'll gain: Statistical Visualization, Model Evaluation, Data Presentation, Statistical Hypothesis Testing, Statistical Analysis, Data Storytelling, Large Language Modeling, Statistical Methods, Data-Driven Decision-Making, Matplotlib, Statistical Inference, Jupyter, Probability & Statistics, Experimentation, Performance Metric
Johns Hopkins University
Skills you'll gain: Probability, Bayesian Statistics, Probability Distribution, Risk Modeling, Mathematical Modeling, Statistical Inference, Markov Model, Reliability, Simulations, Applied Mathematics, Statistical Analysis, Regression Analysis
University of Colorado Boulder
Skills you'll gain: Computational Logic, Verification And Validation, Theoretical Computer Science, Systems Design, Model Evaluation, Simulations, Algorithms, Safety and Security
In summary, here are 10 of our most popular quantitative model checking courses
- Advanced Data Testing for Quality at Scale: Coursera
- Modeling Risk and Realities: University of Pennsylvania
- Introduction to Modeling for Formal Verification: University of Colorado Boulder
- Quantitative Aptitude Mastery— Exam & Recruitment Prep: Board Infinity
- Track and Evaluate ML Model Experiments: Coursera
- Qualitative Methods for Quantitative People (with GenAI): Vanderbilt University
- Model Checking with SAT and SMT : University of Colorado Boulder
- Safeguard LLM Outputs: Test and Evaluate: Coursera
- Modeling and Debugging Embedded Systems: University of Colorado Boulder
- Evaluate LLMs: Test and Prove Significance: Coursera
