Back-Propagation Through Signal Temporal Logic Specifications: Infusing Logical Structure into Gradient-Based Methods
Karen Leung, Nikos Aréchiga, Marco Pavone
Topics & Concepts
Robustness (evolution)Computer scienceRoboticsArtificial intelligenceComputationTheoretical computer scienceSemantics (computer science)Programming languageAlgorithmRobotBiochemistryChemistryGeneFormal Methods in VerificationModel-Driven Software Engineering TechniquesSemantic Web and Ontologies