Results for "infinite-state+stochastic+model+checking+methods"
University of Colorado Boulder
Skills you'll gain: Computational Logic, Systems Design, Verification And Validation, Computer Engineering, Communication Systems, Systems Analysis, Software Systems, Process Modeling, Functional Testing, Theoretical Computer Science, Computational Thinking, Functional Specification, Software Architecture, Model Optimization, Software Design, Graph Theory, Software Testing, Software Quality Assurance, Computer Architecture, Logical Reasoning
University of Colorado Boulder
Skills you'll gain: Computational Logic, Model Based Systems Engineering, Mathematical Modeling, System Requirements, Functional Requirement, Theoretical Computer Science, Functional Specification, Verification And Validation, Systems Architecture, Automation Engineering, Control Systems, Network Model, Requirements Analysis, Mechanical Engineering, Mechanics, Applied Mathematics, Automation, Systems Analysis, Differential Equations, Algorithms
Coursera
Skills you'll gain: Simulations, Risk Modeling, Risk Analysis, Simulation and Simulation Software, Risk Management, Financial Forecasting, Return On Investment, Data Analysis, Financial Modeling, Analysis, Microsoft Excel, Data-Driven Decision-Making, Probability Distribution, Business Modeling
Board Infinity
Skills you'll gain: Prompt Engineering, Prompt Patterns, LLM Application, Generative AI Agents, AI Workflows, AI Orchestration, Agentic Workflows, Large Language Modeling, Tool Calling, Agentic systems, Debugging, Quality Assurance, Model Evaluation
Board Infinity
Skills you'll gain: Test Automation, Performance Testing, Software Quality Assurance, White-Box Testing, API Testing, Test Script Development, AI Security, Software Quality (SQA/SQC), Performance Stress Testing, Software Development Methodologies, Regression Testing, AI Integrations, Maintainability, Code Review, Scalability, Automation, Code Coverage, Software Technical Review, DevOps, Security Testing
Skills you'll gain: Anomaly Detection, MLOps (Machine Learning Operations), AI Security, Software Engineering, Model Training, DevOps, Software Quality Assurance, Maintainability, CI/CD, Model Deployment, Performance Tuning, Security Testing, Model Evaluation, Secure Coding, Performance Testing, Continuous Monitoring, Integration Testing, Sampling (Statistics), Data Validation, Python Programming
What brings you to Coursera today?
Coursera
Skills you'll gain: LLM Application, Model Evaluation, Large Language Modeling, Retrieval-Augmented Generation, Vector Databases, MLOps (Machine Learning Operations), Performance Tuning, Debugging, Performance Testing, Statistical Methods, Query Languages, SQL, Statistical Hypothesis Testing, Statistical Analysis, Artificial Intelligence and Machine Learning (AI/ML), Data-Driven Decision-Making, Python Programming
Pragmatic AI Labs
Skills you'll gain: Retrieval-Augmented Generation, Amazon Bedrock, LLM Application, AWS SageMaker, Token Optimization, Large Language Modeling, Amazon Web Services, No-Code Development, Prompt Engineering, Generative AI, AI Orchestration, Model Deployment, Generative AI Agents, Package and Software Management, Model Training, Rust (Programming Language), Model Optimization, Performance Tuning
Pragmatic AI Labs
Skills you'll gain: Model Context Protocol, Claude Code, Kaizen Methodology, Code Coverage, Verification And Validation, Testability, Quality Assurance, Agentic systems, Software Quality (SQA/SQC), Test Automation, Development Testing, Maintainability, Software Testing, Generative AI Agents, Agentic Workflows, Artificial Intelligence, Large Language Modeling
Birla Institute of Technology & Science, Pilani
Skills you'll gain: Theoretical Computer Science, Computational Logic, Mathematical Theory & Analysis, Algorithms, Computational Thinking, Programming Principles, Computer Science, Graph Theory, Deductive Reasoning, Natural Language Processing, Logical Reasoning, Formal Learning
Skills you'll gain: Financial Modeling, Model Evaluation, Financial Statements, Financial Statement Analysis, Excel Formulas, Financial Forecasting, Financial Accounting, Financial Reporting, Balance Sheet, Auditing, Microsoft Excel, Performance Stress Testing, Financial Auditing, Income Statement, Finance, Financial Data, Data Validation, Financial Analysis, Spreadsheet Software, Cash Flows
University of Alberta
Skills you'll gain: Reinforcement Learning, Machine Learning Methods, Deep Learning, Feature Engineering, Machine Learning Algorithms, Machine Learning, Supervised Learning, Artificial Neural Networks, Model Training, Algorithms, Pseudocode, Linear Algebra, Network Architecture, Probability Distribution
In summary, here are 10 of our most popular infinite-state+stochastic+model+checking+methods courses
- Fundamentals of Model Checking:Â University of Colorado Boulder
- Foundations of Autonomous Systems:Â University of Colorado Boulder
- Simulate with Monte Carlo:Â Coursera
- Agent Foundations and Prompt Engineering:Â Board Infinity
- Software Quality Assurance and Testing:Â Board Infinity
- Validating and Safeguarding Production AI:Â Coursera
- Building Reliable LLM Systems:Â Coursera
- Deterministic LLM programming:Â Pragmatic AI Labs
- Building deterministic MCP Agents:Â Pragmatic AI Labs
- Automata and Computability:Â Birla Institute of Technology & Science, Pilani
