LintQ is a framework for static analysis of quantum programs written in Qiskit. It comprises: LintQ Core: a set of quantum-specific concepts that supports the definition of static analysis of quantum ...

This repository contains the Python driver to communicate with a Sensirion sensor of the SFX6XXX family over I2C. Click here to learn more about the Sensirion SFX6XXX sensor family.

Abstract: In this paper, the distributed human-in-the-loop (HiTL) formation-containment control problem for heterogeneous unmanned aerial vehicle-unmanned surface vehicle (UAVUSV) systems with dual ...

Burmese pythons are an invasive species causing destruction in the Florida Everglades. The snakes have contributed to the decline of several small mammal populations. Estimates place the Burmese ...

Abstract: The American Fuzzy Lop (AFL) is a tool that automatically generates random data to expose vulnerabilities in software programs. However, it has some drawbacks, such as the lack of visibility ...