ASPLOS'20 - Session 5B - A Computational Temporal Logic for Superconducting Accelerators

ASPLOS'20 - Session 5B - A Computational Temporal Logic for Superconducting AcceleratorsПодробнее

ASPLOS'20 - Session 11B - Quantum Circuits for Dynamic Runtime Assertions in Quantum ComputationПодробнее

ASPLOS'20 - Session 12A - FlatStore: An Efficient Log-Structured Key-Value Storage Engine for PersisПодробнее

ASPLOS'20 - Session 1A - DNNGuard: An Elastic Heterogeneous DNN Accelerator Architecture against AdvПодробнее

Temporal Logic of Actions - TransconductionПодробнее

Session 7: Temporal LogicПодробнее

KR 2021 - Timed Trace Alignment with Metric Temporal Logic over Finite TracesПодробнее

Temporal Logic Result 1Подробнее

KR 2020 - The Hierarchy of HyperlogicsПодробнее

DoS-Resilient Multi-Robot Temporal Logic Motion PlanningПодробнее

ICAPS 2020: Kasenberg et al. on "Generating Explanations for ...Подробнее

Temporal Logic Using the BEFORE Function - MATLABПодробнее

Synthesis of Coordination Programs from Linear Temporal SpecificationsПодробнее

Boosted Race Trees for Low Energy Classification [ASPLOS'19]Подробнее