LTL Store: Repository of LTL formulae from literature and case studies

06/29/2018
by   Jan Křetínský, et al.
0

This continuously extended technical report collects and compares commonly used formulae from the literature and provides them in a machine readable way.

READ FULL TEXT
research
01/07/2018

Multi-platform Version of StarCraft: Brood War in a Docker Container: Technical Report

We present a dockerized version of a real-time strategy game StarCraft: ...
research
01/12/2023

Open Design Case Study – A Crowdsourcing Effort to Curate Software Design Case Studies

Case study-based learning has been successfully integrated into various ...
research
10/02/2018

CINIC-10 is not ImageNet or CIFAR-10

In this brief technical report we introduce the CINIC-10 dataset as a pl...
research
09/17/2021

Capacitance Resistance Model and Recurrent Neural Network for Well Connectivity Estimation : A Comparison Study

In this report, two commonly used data-driven models for predicting well...
research
08/18/2013

Bat Algorithm: Literature Review and Applications

Bat algorithm (BA) is a bio-inspired algorithm developed by Yang in 2010...
research
01/05/2021

A unifying approach on bias and variance analysis for classification

Standard bias and variance (B V) terminologies were originally defined...
research
05/21/2021

Nori: Concealing the Concealed Identifier in 5G

IMSI catchers have been a long standing and serious privacy problem in p...

Please sign up or login with your details

Forgot password? Click here to reset