Applied Ocean Research · 2018 · 21 citations · 24 references
EngineeringAutonomous SystemsOcean EngineeringAutonomous VehiclesMarine RoboticsUnderwater RoboticsAutonomous Underwater VehiclesMarine Automation SystemsMarine Robot ControlSubsea RoboticsUnderwater Robot KinematicsUnderwater Vehicle DesignAutonomous Underwater Vehicle ControlAutonomous Underwater Vehicle SystemsModel-driven ArchitectureModel-driven EngineeringUnderwater Vehicle Control
24
What's Decidable about Hybrid Automata?
Thomas A. Henzinger, Peter W. Kopke, Anuj Puri et al. · Journal of Computer and System Sciences · 1998 · 675 citations · Full text