Makai Mann

According to our database, Makai Mann authored at least 26 papers between 2018 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Control Barrier Function Toolbox: An Extensible Framework for Provable Safety.

Andrew Schoer, Helena Teixeira-Dasilva, Christian So, Makai Mann, Roberto Tron

Proceedings of the NASA Formal Methods - 16th International Symposium, 2024

How to Train Your Neural Control Barrier Function: Learning Safety Filters for Complex Input-Constrained Systems.

Oswin So, Zachary Serlin, Makai Mann, Jake Gonzales, Kwesi Rutledge, Nicholas Roy, Chuchu Fan

Proceedings of the IEEE International Conference on Robotics and Automation, 2024

Run-Time Task Composition with Safety Semantics.

Kevin Leahy, Makai Mann, Zachary Serlin

Proceedings of the Forty-first International Conference on Machine Learning, 2024

Uncertainty Quantification for Recursive Estimation in Adaptive Safety-Critical Control.

Max H. Cohen, Makai Mann, Kevin Leahy, Calin Belta

Proceedings of the American Control Conference, 2024

2023

Improving Energy Efficiency of CGRAs with Low-Overhead Fine-Grained Power Domains.

Ankita Nayak, Keyi Zhang, Rajsekhar Setaluri, Alex Carsello, Makai Mann, Christopher Torng, Stephen Richardson, Rick Bahr, Pat Hanrahan, Mark Horowitz, Priyanka Raina

ACM Trans. Reconfigurable Technol. Syst., June, 2023

A Flexible and Efficient Temporal Logic Tool for Python: PyTeLo.

Gustavo A. Cardona, Kevin Leahy, Makai Mann, Cristian-Ioan Vasile

CoRR, 2023

Safety-Aware Task Composition for Discrete and Continuous Reinforcement Learning.

Kevin Leahy, Makai Mann, Zachary Serlin

CoRR, 2023

Rewrite-Based Decomposition of Signal Temporal Logic Specifications.

Kevin Leahy, Makai Mann, Cristian-Ioan Vasile

Proceedings of the NASA Formal Methods - 15th International Symposium, 2023

STL: Surprisingly Tricky Logic (for System Validation).

Ho Chit Siu, Kevin Leahy, Makai Mann

IROS, 2023

Lightweight Online Learning for Sets of Related Problems in Automated Reasoning.

Haoze Wu, Christopher Hahn, Florian Lonsing, Makai Mann, Raghuram Ramanujan, Clark W. Barrett

Proceedings of the Formal Methods in Computer-Aided Design, 2023

Learning Minimally-Violating Continuous Control for Infeasible Linear Temporal Logic Specifications.

Mingyu Cai, Makai Mann, Zachary Serlin, Kevin Leahy, Cristian-Ioan Vasile

Proceedings of the American Control Conference, 2023

2022

Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays.

Makai Mann, Ahmed Irfan, Alberto Griggio, Oded Padon, Clark W. Barrett

Log. Methods Comput. Sci., 2022

Bit-Precise Reasoning via Int-Blasting.

Yoni Zohar, Ahmed Irfan, Makai Mann, Aina Niemetz, Andres Nötzli, Mathias Preiner, Andrew Reynolds, Clark W. Barrett, Cesare Tinelli

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2022

cvc5: A Versatile and Industrial-Strength SMT Solver.

Haniel Barbosa, Clark W. Barrett, Martin Brain, Gereon Kremer, Hanna Lachnitt, Makai Mann, Abdalrhman Mohamed, Mudathir Mohamed, Aina Niemetz, Andres Nötzli, Alex Ozdemir, Mathias Preiner, Andrew Reynolds, Ying Sheng, Cesare Tinelli, Yoni Zohar

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022

2021

lazybvtoint at the SMT Competition 2020.

Yoni Zohar, Ahmed Irfan, Makai Mann, Andres Nötzli, Andrew Reynolds, Clark W. Barrett

CoRR, 2021

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

Makai Mann, Amalee Wilson, Yoni Zohar, Lindsey Stuntz, Ahmed Irfan, Kristopher Brown, Caleb Donovick, Allison Guman, Cesare Tinelli, Clark W. Barrett

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2021, 2021

Automating System Configuration.

Nestan Tsiskaridze, Maxwell Strange, Makai Mann, Kavya Sreedhar, Qiaoyi Liu, Mark Horowitz, Clark W. Barrett

Proceedings of the Formal Methods in Computer Aided Design, 2021

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

Makai Mann, Ahmed Irfan, Florian Lonsing, Yahan Yang, Hongce Zhang, Kristopher Brown, Aarti Gupta, Clark W. Barrett

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2020

Partial Order Reduction for Deep Bug Finding in Synchronous Hardware.

Makai Mann, Clark W. Barrett

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

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

Makai Mann, Amalee Wilson, Cesare Tinelli, Clark W. Barrett

Proceedings of the 18th International Workshop on Satisfiability Modulo Theories co-located with the 10th International Joint Conference on Automated Reasoning (IJCAR 2020), 2020

A Framework for Adding Low-Overhead, Fine-Grained Power Domains to CGRAs.

Ankita Nayak, Keyi Zhang, Rajsekhar Setaluri, Alex Carsello, Makai Mann, Stephen Richardson, Rick Bahr, Pat Hanrahan, Mark Horowitz, Priyanka Raina

Proceedings of the 2020 Design, Automation & Test in Europe Conference & Exhibition, 2020

Creating an Agile Hardware Design Flow.

Rick Bahr, Clark W. Barrett, Nikhil Bhagdikar, Alex Carsello, Ross Daly, Caleb Donovick, David Durst, Kayvon Fatahalian, Kathleen Feng, Pat Hanrahan, Teguh Hofstee, Mark Horowitz, Dillon Huff, Fredrik Kjolstad, Taeyoung Kong, Qiaoyi Liu, Makai Mann, Jackson Melchert, Ankita Nayak, Aina Niemetz, Gedeon Nyengele, Priyanka Raina, Stephen Richardson, Rajsekhar Setaluri, Jeff Setter, Kavya Sreedhar, Maxwell Strange, James Thomas, Christopher Torng, Leonard Truong, Nestan Tsiskaridze, Keyi Zhang

Proceedings of the 57th ACM/IEEE Design Automation Conference, 2020

fault: A Python Embedded Domain-Specific Language for Metaprogramming Portable Hardware Verification Components.

Lenny Truong, Steven Herbst, Rajsekhar Setaluri, Makai Mann, Ross G. Daly, Keyi Zhang, Caleb Donovick, Daniel Stanley, Mark Horowitz, Clark W. Barrett, Pat Hanrahan

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

2019

Agile SMT-Based Mapping for CGRAs with Restricted Routing Networks.

Caleb Donovick, Makai Mann, Clark W. Barrett, Pat Hanrahan

Proceedings of the 2019 International Conference on ReConFigurable Computing and FPGAs, 2019

Unlocking the Power of Formal Hardware Verification with CoSA and Symbolic QED: Invited Paper.

Florian Lonsing, Karthik Ganesan, Makai Mann, Srinivasa Shashank Nuthakki, Eshan Singh, Mario Srouji, Yahan Yang, Subhasish Mitra, Clark W. Barrett

Proceedings of the International Conference on Computer-Aided Design, 2019

2018

CoSA: Integrated Verification for Agile Hardware Design.

Cristian Mattarei, Makai Mann, Clark W. Barrett, Ross G. Daly, Dillon Huff, Pat Hanrahan

Proceedings of the 2018 Formal Methods in Computer Aided Design, 2018