Least-violating symbolic controller synthesis for safety, reachability and attractivity specifications
Antoine Girard, Alina Eqtami
Topics & Concepts
ReachabilityControllabilityComputer scienceController (irrigation)Symbolic executionComputationCruise controlIdeal (ethics)Control theory (sociology)Control (management)Theoretical computer scienceMathematicsAlgorithmProgramming languageArtificial intelligenceSoftwarePhilosophyApplied mathematicsEpistemologyBiologyAgronomyFormal Methods in VerificationPetri Nets in System ModelingSoftware Reliability and Analysis Research