Michael Fisher (2) ((1) UTFPR

Identifiers

No identifiers captured yet.

Papers (1)

1. A Rational Agent Controlling an Autonomous Vehicle: Implementation and Formal Verification cs.LO · 2017 · author #4

Mentions

No mention provenance yet.

Frequent Coauthors

• (2) University of Liverpool 1 shared papers
• Brazil 1 shared papers
• Gleifer V. Alves (1) 1 shared papers
• Liverpool 1 shared papers
• Lucas E. R. Fernandes (1) 1 shared papers
• Parana 1 shared papers
• Ponta Grossa 1 shared papers
• United Kingdom) 1 shared papers
• Vinicius Custodio (1) 1 shared papers