Specification-guided behavior tree synthesis and execution for coordination of autonomous systems
Tadewos G. Tadewos, Abdullah Al Redwan Newaz, Ali Karimoddini
Topics & Concepts
Computer scienceTree (set theory)Distributed computingProgramming languageArtificial intelligenceTheoretical computer scienceMathematicsMathematical analysisFormal Methods in VerificationSoftware Testing and Debugging TechniquesModel-Driven Software Engineering Techniques