Filter by
The language used throughout the course, in both instruction and assessments.
Results for "linear+temporal+logic+(ltl)"
- Status: Free
DeepLearning.AI
Skills you'll gain: Performance Tuning, Generative AI, MLOps (Machine Learning Operations), Scalability, Artificial Intelligence and Machine Learning (AI/ML), Performance Testing, Application Performance Management
- Status: Free
Coursera Project Network
Skills you'll gain: OpenAI, ChatGPT, Cost Benefit Analysis, Business Process Automation, Generative AI, Application Programming Interface (API), Development Environment, Business Logic, Scalability, Artificial Intelligence, Business Solutions, TypeScript, Node.JS, Natural Language Processing, Complex Problem Solving, Application Security
- Status: Free
DeepLearning.AI
Skills you'll gain: Data Quality, Performance Tuning, Generative AI, MLOps (Machine Learning Operations), SQL, Open Source Technology, Artificial Intelligence and Machine Learning (AI/ML)
University of Colorado Boulder
Skills you'll gain: Computational Logic, Theoretical Computer Science, System Requirements, Requirements Analysis, Verification And Validation, Linear Algebra, Applied Mathematics
University of Colorado Boulder
Skills you'll gain: Computational Logic, Mathematical Modeling, Theoretical Computer Science, Systems Design, System Requirements, Verification And Validation, Systems Architecture, Requirements Analysis, Software Systems, Automation, Mechanical Engineering, Computer Systems, Systems Analysis, Embedded Systems, Systems Engineering, Linear Algebra, Differential Equations, Electrical Engineering, Applied Mathematics, Algorithms
Skills you'll gain: Data Structures, C++ (Programming Language), C and C++, Programming Principles, Algorithms, Theoretical Computer Science, Object Oriented Programming (OOP)
Skills you'll gain: Data Structures, Java, Theoretical Computer Science, Programming Principles, Algorithms, Object Oriented Programming (OOP)
Skills you'll gain: Server Side, Restful API, Docker (Software), Responsive Web Design, Containerization, HTML and CSS, Cloud Platforms, Application Deployment, API Design, Cloud Applications, CI/CD, Back-End Web Development, Node.JS, Kubernetes, Web Design and Development, Databases, Database Management, User Interface (UI) Design, Web Content Accessibility Guidelines, Bootstrap (Front-End Framework)
Northeastern University
Skills you'll gain: Operations Research, Applied Mathematics, Mathematical Software, Linear Algebra, Mathematical Modeling, Algorithms, Business Modeling, Complex Problem Solving, Spreadsheet Software
- Status: Free
IIT Roorkee
Skills you'll gain: Linear Algebra, Machine Learning Algorithms, NumPy, Dimensionality Reduction, Advanced Mathematics, Applied Mathematics, General Mathematics, Data Transformation, Python Programming
Skills you'll gain: Data Validation, Data Cleansing, Natural Language Processing, MLOps (Machine Learning Operations), Data Processing, Data Quality, Feature Engineering, Generative AI, Artificial Intelligence and Machine Learning (AI/ML), Deep Learning, Performance Tuning
Skills you'll gain: ChatGPT, OpenAI, Development Environment, Generative AI, Artificial Intelligence, Python Programming, Natural Language Processing, Document Management, Computer Programming Tools, Application Programming Interface (API), Application Development, Image Analysis
In summary, here are 10 of our most popular linear+temporal+logic+(ltl) courses
- Efficiently Serving LLMs: DeepLearning.AI
- Automated Reasoning with GPT Assistant API: ReAct Agents: Coursera Project Network
- Improving Accuracy of LLM Applications: DeepLearning.AI
- Requirement Specifications for Autonomous Systems: University of Colorado Boulder
- Foundations of Autonomous Systems: University of Colorado Boulder
- C++: Linear Data Structures and Trees: Codio
- Java: Linear Data Structures and Trees: Codio
- Holistic Web Development: Responsive UIs, Logic, Deployment: Board Infinity
- Industrial Optimization: Models & Linear Programming: Northeastern University
- Linear Algebra Basics: IIT Roorkee