Result Details

Simulation Algorithms for Symbolic Automata (Technical Report)

HOLÍK, L.; LENGÁL, O.; SÍČ, J.; VOJNAR, T.; VEANES, M. Simulation Algorithms for Symbolic Automata (Technical Report). Ithaca: 2018. p. 1-23.
Type
report
Language
English
Authors
Holík Lukáš, doc. Mgr., Ph.D., DITS (FIT)
Lengál Ondřej, doc. Ing., Ph.D., DITS (FIT)
Síč Juraj, Mgr.
Vojnar Tomáš, prof. Ing., Ph.D., DITS (FIT)
Veanes Margus
URL
Published
2018
Pages
1–23
Place
Ithaca
BibTeX 
@misc{BUT161934,
  author="Lukáš {Holík} and Ondřej {Lengál} and Juraj {Síč} and Tomáš {Vojnar} and Margus {Veanes}",
  title="Simulation Algorithms for Symbolic Automata (Technical Report)",
  year="2018",
  pages="1--23",
  address="Ithaca",
  url="https://arxiv.org/abs/1807.08487"
}
Files
Projects
Bezpečné a spolehlivé počítačové systémy, BUT, Vnitřní projekty VUT, FIT-S-17-4014, start: 2017-03-01, end: 2020-02-29, completed
Efficient Automata Techniques for Formal Reasoning, GACR, Juniorské granty, GJ16-24707Y, start: 2016-01-01, end: 2018-12-31, completed
IT4Innovations excellence in science, MŠMT, Národní program udržitelnosti II, LQ1602, start: 2016-01-01, end: 2020-12-31, completed
Relaxed equivalence checking for approximate computing, GACR, Standardní projekty, GA16-17538S, start: 2016-01-01, end: 2018-12-31, completed
Research groups
Automated Analysis and Verification Research Group - VeriFIT (RG VERIFIT)
Departments
Department of Intelligent Systems (DITS)
Back to top