[ATVA 2016] Observational Refinement and Merge for Disjunctive MTSs.

Shoham Ben-David, Marsha Chechik and Sebastian Uchitel,
Observational Refinement and Merge for Disjunctive MTSs,
ATVA 2016.

Undefined

[TSE’16] Interaction Models and Automated Control under Partial Observable Environments.

Daniel Ciolek, Victor Braberman, Nicolas D’Ippolito, Nir Piterman and Sebastian Uchitel. "Interaction Models and Automated Control under Partial Observable Environments

Undefined

Pages

Subscribe to LaFHIS RSS