FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
Automata-Based Quantitative Reasoning

Author: Suguman Bansal

Paper Information

Title:Automata-Based Quantitative Reasoning
Authors:Suguman Bansal
Proceedings:VardiFest22 Talk Abstracts
Editors: Kuldeep S. Meel, Giuseppe De Giacomo, Kristin Yvonne Rozier, Priyanka Golia and Suwei Yang
Keywords:Quantitative reasoning, Automata, Comparators
Pages:1
Talk:Jul 31 14:50 (Session 17)
Paper: