Pinned Repositories
2048
A small clone of 1024 (https://play.google.com/store/apps/details?id=com.veewo.a1024)
aima-cpp
an effort to replicate all the aima pseudocode in cpp
autonomy-and-verification-uol.github.io
Website for the Autonomy and Verification Laboratory in the University of Liverpool.
barc_ws_res
bham_brigade
fire hack 2019 challenge
bnnexperiments
comp_arch_sim
drone-competition
ec100_projects
for the class ec100
Educational_guide
An educational guide on how to get started in ML and AI by Pakistan.ai
fatmaf's Repositories
fatmaf/autonomy-and-verification-uol.github.io
Website for the Autonomy and Verification Laboratory in the University of Liverpool.
fatmaf/bham_brigade
fire hack 2019 challenge
fatmaf/bnnexperiments
fatmaf/comp_arch_sim
fatmaf/drone-competition
fatmaf/ec100_projects
for the class ec100
fatmaf/fatmaf.github.io
Fatma's personal website
fatmaf/Firmware
PX4 Autopilot Software
fatmaf/generatedTests
benchmark tests for all my stuff really. this is the holy grail of tests for my work ?
fatmaf/gym
A toolkit for developing and comparing reinforcement learning algorithms.
fatmaf/mcapl
The MCAPL Project provides a tool for prototyping BDI agent programming languages and model checking programs written in these languages via an interface to the JavaPathfinder model checker.
fatmaf/MITLLStudent
fatmaf/multi-agent-box
a repository for all my multi-agent dreams
fatmaf/openai_experiments
fatmaf/panda_arm_rosmondemo
fatmaf/prism
The main development version of the PRISM model checker.
fatmaf/prism-api
Example code for connecting to PRISM programmatically.
fatmaf/prism-school-pc
fatmaf/prism-svn
Mirror of PRISM subversion trunk
fatmaf/px4_offboard_py
fatmaf/px4_rosmondemo_monitor
fatmaf/radiation_demo_ros
this is basically a copy of a bunch of git repos and then some of my own code, I didn't want to put submodules and so I just did this.
fatmaf/retrieve-and-rank-java
:star: Demo app for IBM Watson Retrieve and Rank service
fatmaf/ROSMonitoring
ROSMonitoring: a Runtime Verification Framework for ROS
fatmaf/russTedrakes_roboticManipulation
an attempt to get through the course on my own, thanks Russ Tedrake https://manipulation.csail.mit.edu/#preface
fatmaf/stapu-tests
The tests for stapu
fatmaf/tl_experiments
experimenting with temporal logic specifications
fatmaf/univariate-linear-regression
Java implementation of gradient descent for UoB Intro to AI (MSc & Conversion) module
fatmaf/varanus
A Runtime Verification toolchain that uses a CSP model as its oracle, checked by FDR.
fatmaf/web-trials