Reusability and Modifiability in Robotics Software (Extended Version)

Documenti analoghi

• From B Specifications to $\{log$\}$ Forgrams
  di: Cristiá, Maximiliano
  Pubblicazione: (2024)
• Accurate and Noise-Tolerant Extraction of Routine Logs in Robotic Process Automation (Extended Version)
  di: de Leoni, Massimiliano, et al.
  Pubblicazione: (2025)
• A Decision Procedure for a Theory of Finite Sets with Finite Integer Intervals
  di: Cristiá, Maximiliano, et al.
  Pubblicazione: (2021)
• Verification of Quantitative Temporal Properties in RealTime-DEVS
  di: González, Ariel, et al.
  Pubblicazione: (2024)
• Software Reconfiguration in Robotics
  di: Peldszus, Sven, et al.
  Pubblicazione: (2023)