Sequential control barrier functions for mobile robots with dynamic temporal logic specifications
Ali Tevfik Büyükkoçak, Derya Aksaray, Yasin Yazıcıoğlu
Topics & Concepts
Computer scienceCorrectnessRobotA priori and a posterioriSequence (biology)Linear temporal logicTemporal logicMobile robotInterval (graph theory)Process (computing)Control (management)Real-time computingAlgorithmArtificial intelligenceTheoretical computer scienceProgramming languageMathematicsCombinatoricsGeneticsBiologyPhilosophyEpistemologyFormal Methods in VerificationReal-Time Systems SchedulingModel-Driven Software Engineering Techniques