Skip to content

@VerifiableRobotics Verifiable Robotics

Change the repository type filter

All

    Repositories list

    7 repositories

    • slugs

      Public
      SmalL bUt Complete GROne Synthesizer
      C
      •
      Other
      •25•35•4•0•Updated Aug 22, 2024Aug 22, 2024

    • LTLMoPWeb3D

      Public
      A website for Cornell's Autonomous Systems Lab to essentially have LTLMoP available in 3D and online
      CoffeeScript
      •
      Other
      •1•3•21•1•Updated Dec 12, 2022Dec 12, 2022

    • LTL_stack

      Public
      ROS Packages for running with correct-by-construction controllers
      Python
      •5•3•0•0•Updated Jun 7, 2019Jun 7, 2019

    • LTLMoP

      Public
      A toolkit for designing and implementing LTL-based task specifications.
      Python
      •
      GNU General Public License v3.0
      •69•56•33•6•Updated Oct 11, 2016Oct 11, 2016

    • controller-arena

      Public
      Development and Experimental Comparison of Control Laws for Robot Navigation
      Python
      •
      BSD 3-Clause "New" or "Revised" License
      •0•0•0•0•Updated Dec 17, 2015Dec 17, 2015

    • ReSpeC

      Public
      Reactive (LTL) Specification Construction kit
      Python
      •
      BSD 3-Clause "New" or "Revised" License
      •2•3•0•0•Updated Nov 13, 2015Nov 13, 2015

    • verifiablerobotics.github.io

      Public
      See https://github.com/LTLMoP/ltlmop.github.io instead.
      Python
      •2•1•0•0•Updated Aug 7, 2015Aug 7, 2015