Filter by
The language used throughout the course, in both instruction and assessments.
Results for "linear+temporal+logic"
University of Colorado Boulder
Skills you'll gain: Bioinformatics, Mathematical Modeling, Engineering Analysis, Simulations, Differential Equations, Numerical Analysis, Engineering Software, Computational Thinking, Computer-Aided Design, Algorithms
Pontificia Universidad Católica de Chile
Skills you'll gain: Three-Phase, Electrical Engineering, Electronic Systems, Basic Electrical Systems, Power Electronics, Electronic Components, Engineering Analysis, Network Analysis, Simulation and Simulation Software
Skills you'll gain: OpenAI, Development Environment, Generative AI, Artificial Intelligence, Python Programming, Natural Language Processing, Document Management, Application Programming Interface (API), Integrated Development Environments, Application Development, Image Analysis
University of Colorado Boulder
Skills you'll gain: Computational Logic, Theoretical Computer Science, System Requirements, Requirements Analysis, Verification And Validation, Linear Algebra, Applied Mathematics
In summary, here are 4 of our most popular linear+temporal+logic courses
- Engineering Genetic Circuits: Modeling and Analysis: University of Colorado Boulder
- Circuitos con SPICE: Sistemas trifásicos y análisis avanzado: Pontificia Universidad Católica de Chile
- The Complete LangChain & LLMs Guide: Packt
- Requirement Specifications for Autonomous Systems: University of Colorado Boulder