E-LIB Suche - Ergebnisse für: Mann, Makai

1

Control Barrier Function Toolbox: An Extensible Framework f..:

, In: Lecture Notes in Computer Science; NASA Formal Methods,

Schoer, Andrew ; Teixeira-Dasilva, Helena ; So, Christian.. - p. 352-358 , 2024

Link: https://doi.org/10.1007/..

2

Rewrite-Based Decomposition of Signal Temporal Logic Specif..:

, In: Lecture Notes in Computer Science; NASA Formal Methods,

Leahy, Kevin ; Mann, Makai ; Vasile, Cristian-Ioan - p. 224-240 , 2023

Link: https://doi.org/10.1007/..

3

Improving Energy Efficiency of CGRAs with Low-Overhead Fine..:

Nayak, Ankita ; Zhang, Keyi ; Setaluri, Rajsekhar...
ACM Transactions on Reconfigurable Technology and Systems. 16 (2023) 2 - p. 1-28 , 2023

Link: https://doi.org/10.1145/..

4

Learning Minimally-Violating Continuous Control for Infeasi..:

, In: 2023 American Control Conference (ACC),

Cai, Mingyu ; Mann, Makai ; Serlin, Zachary.. - p. 1446-1452 , 2023

Link: https://doi.org/10.23919..

5

STL: Surprisingly Tricky Logic (for System Validation):

, In: 2023 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS),

Siu, Ho Chit ; Leahy, Kevin ; Mann, Makai - p. 8613-8620 , 2023

Link: https://doi.org/10.1109/..

6

Lightweight Online Learning for Sets of Related Problems in..:

, In: 2023 Formal Methods in Computer-Aided Design (FMCAD),

Wu, Haoze ; Hahn, Christopher ; Lonsing, Florian... - p. 1-11 , 2023

Link: https://doi.org/10.34727..

7

cvc5: A Versatile and Industrial-Strength SMT Solver:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Barbosa, Haniel ; Barrett, Clark ; Brain, Martin... - p. 415-442 , 2022

Link: https://doi.org/10.1007/..

8

Bit-Precise Reasoning via Int-Blasting:

, In: Lecture Notes in Computer Science; Verification, Model Checking, and Abstract Interpretation,

Zohar, Yoni ; Irfan, Ahmed ; Mann, Makai... - p. 496-518 , 2022

Link: https://doi.org/10.1007/..

9

Counterexample-Guided Prophecy for Model Checking Modulo th..:

Mann, Makai ; Irfan, Ahmed ; Griggio, Alberto..
Logical Methods in Computer Science. 18, Issue 3 (2022) - p. , 2022

Link: https://doi.org/10.46298..

10

Smt-Switch: A Solver-Agnostic C++ API for SMT Solving:

, In: Theory and Applications of Satisfiability Testing – SAT 2021; Lecture Notes in Computer Science,

Mann, Makai ; Wilson, Amalee ; Zohar, Yoni... - p. 377-386 , 2021

Link: https://doi.org/10.1007/..

11

Pono: A Flexible and Extensible SMT-Based Model Checker:

, In: Computer Aided Verification; Lecture Notes in Computer Science,

Mann, Makai ; Irfan, Ahmed ; Lonsing, Florian... - p. 461-474 , 2021

Link: https://doi.org/10.1007/..

12

Counterexample-Guided Prophecy for Model Checking Modulo th..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Mann, Makai ; Irfan, Ahmed ; Griggio, Alberto.. - p. 113-132 , 2021

Link: https://doi.org/10.1007/..

13

A Framework for Adding Low-Overhead, Fine-Grained Power Dom..:

, In: 2020 Design, Automation & Test in Europe Conference & Exhibition (DATE),

Nayak, Ankita ; Zhang, Keyi ; Setaluri, Raj... - p. 846-851 , 2020

Link: https://doi.org/10.23919..

14

Partial Order Reduction for Deep Bug Finding in Synchronous..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Mann, Makai ; Barrett, Clark - p. 367-386 , 2020

Link: https://doi.org/10.1007/..

15

fault: A Python Embedded Domain-Specific Language for Metap..:

, In: Computer Aided Verification; Lecture Notes in Computer Science,

Truong, Lenny ; Herbst, Steven ; Setaluri, Rajsekhar... - p. 403-414 , 2020

Link: https://doi.org/10.1007/..