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

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

Hyperproperties for Robotics: Planning via HyperLTLПодробнее

software Formal Specification Temporal LogicПодробнее

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

FM'21 | Session 5 : Generalizing Non-Punctuality for Timed Temporal Logic with Freeze QuantifiersПодробнее

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

RACES 2020 - Learning Interpretable Models Expressed in Linear Temporal LogicПодробнее

SMC-based Linear temporal logic motion planning for teams of robotsПодробнее

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

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

Talk on Temporal Logic for Hybrid Dynamical Systems at ADHS 2018Подробнее

ASPLOS'23 - Session 4C - SPADA: Accelerating Sparse Matrix Multiplication with Adaptive DataflowПодробнее

[POPL 2021] Automata and Fixpoints for Asynchronous Hyperproperties (full)Подробнее

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

ASPLOS'23 - Session 4C - The Sparse Abstract MachineПодробнее

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

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

FSTTCS2019 S013 Interval Temporal Logic for Visibly Pushdown SystemsПодробнее