User

From LRDE

< User:Cd
Line 1: Line 1:
  +
{{Publication
  +
| published = false
  +
| date = 2015-09-01
  +
| authors = AA
  +
| booktitle = AA
  +
| title = SAT-based Minimization of Deterministic -Automata
  +
| pages =
  +
| publisher =
  +
| volume =
  +
| series =
  +
| abstract = We describe a tool that inputs a deterministic ω-automaton with any acceptance condition, and synthesizes an equivalent ω-automaton with another arbitrary acceptance condition and a given number of states, if such an automaton exists. This tool, that relies on a SAT-based encoding of the problem, can be used to provide minimal ω-automata equivalent to given properties, for different acceptance conditions.
  +
| lrdeprojects =
  +
| lrdenewsdate = 2015-09-01
  +
| lrdepaper = http://www.lrde.epita.fr/dload/papers/baarir.15.lpar.pdf
  +
| type = inproceedings
  +
| id = testttt
  +
| bibtex =
  +
}}
  +
 
[[User:Cd]]
 
[[User:Cd]]
   
Line 4: Line 23:
   
 
{{Publications/AuthorList|Reda}}
 
{{Publications/AuthorList|Reda}}
  +
  +
<math>\omega</math>
  +
  +
<math>n</math>
  +
  +
<math>n > 3</math>
  +
  +
<math>Z^n</math>
  +
  +
<math>X \subseteq Z^n</math>
  +
  +
<math>(a^+\mathbin{\vert} x + b^+\mathbin{\vert} y)^*</math>
  +
  +
<math>\mathrm{O}(|S|\times 2^{\mathrm{O}(|\varphi|+n)})</math>
   
 
<!--
 
<!--

Revision as of 16:55, 5 January 2018

Abstract

We describe a tool that inputs a deterministic ω-automaton with any acceptance condition, and synthesizes an equivalent ω-automaton with another arbitrary acceptance condition and a given number of states, if such an automaton exists. This tool, that relies on a SAT-based encoding of the problem, can be used to provide minimal ω-automata equivalent to given properties, for different acceptance conditions.

Documents








Clément Démoulins

User:Cd/Tests


    Conference papers

    Title Authors Published in Date
    guillaume.22.egc Hate Speech and Toxic Comment Detection using Transformers Pierre Guillaume, Corentin Duchene, Réda Dehak Workshop EGC 2022 DL for NLP 12 January 2022
    dehak.16.nistsre The MIT Lincoln Laboratory 2016 Speaker Recognition System Pedro A Torres-Carrasquillo, Frederick Richardson, Shahan Nercessian, Douglas Sturim, William Campbell, Youngjune Gwon, Swaroop Vattam, Réda Dehak, Harish Mallidi, Phani Sankar Nidadavolu, Ruizhi Li, Raghavendra Reddy Pappagari, Nanxin Chen, Najim Dehak, Ruben Zazo NIST Speaker Recognition Evaluation 2016 12 December 2016
    dehak.11.interspeech Language Recognition via I-Vectors and Dimensionality Reduction Najim Dehak, Pedro A Torres-Carrasquillo, Douglas Reynolds, Réda Dehak INTERSPEECH 2011 1 August 2011