Simulation Subsumption in Ramsey-Based Büchi Automata Universality and Inclusion Testing - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2010

Simulation Subsumption in Ramsey-Based Büchi Automata Universality and Inclusion Testing

Domains

Computer Science and Game Theory [cs.GT]

Sofia Cassel  : Connect in order to contact the contributor

https://inria.hal.science/hal-00767433

Submitted on : Wednesday, December 19, 2012-6:17:58 PM

Last modification on : Thursday, March 7, 2024-12:32:05 PM

Consult the full text

Dates and versions

hal-00767433 , version 1 (19-12-2012)

Identifiers

Cite

Parosh Aziz Abdulla, Yu-Fang Chen, Lorenzo Clemente, Lukáš Holík, Chih-Duo Hong, et al.. Simulation Subsumption in Ramsey-Based Büchi Automata Universality and Inclusion Testing. Computer Aided Verification (CAV), 2010, Edinburgh, United Kingdom. ⟨10.1007/978-3-642-14295-6_14⟩. ⟨hal-00767433⟩

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CONNECT
29 View
0 Download

Altmetric

Share

Gmail Facebook X LinkedIn More