|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 9 publication records. Showing 9 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Mario Gleirscher |
Run-Time Risk Mitigation in Automated Vehicles: A Model for Studying Preparatory Steps.  |
FVAV@iFM  |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Takumi Akazaki, Yoshihiro Kumazawa, Ichiro Hasuo |
Causality-Aided Falsification. |
FVAV@iFM |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Heinrich Ody |
Monitoring of Traffic Manoeuvres with Imprecise Information. |
FVAV@iFM |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Benjamin Martin 0003, Khalil Ghorbal, Eric Goubault, Sylvie Putot |
Formal Verification of Station Keeping Maneuvers for a Planar Autonomous Hybrid System. |
FVAV@iFM |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Guy Katz, Clark W. Barrett, David L. Dill, Kyle Julian, Mykel J. Kochenderfer |
Towards Proving the Adversarial Robustness of Deep Neural Networks. |
FVAV@iFM |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Lucas E. R. Fernandes, Vinicius Custodio, Gleifer V. Alves, Michael Fisher 0001 |
A Rational Agent Controlling an Autonomous Vehicle: Implementation and Formal Verification. |
FVAV@iFM |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Lukas Bulwahn, Maryam Kamali, Sven Linker (eds.) |
Proceedings First Workshop on Formal Verification of Autonomous Vehicles, FVAV@iFM 2017, Turin, Italy, 19th September 2017. |
FVAV@iFM |
2017 |
DBLP BibTeX RDF |
|
| 1 | Maike Schwammberger |
Imperfect Knowledge in Autonomous Urban Traffic Manoeuvres. |
FVAV@iFM |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | László Z. Varga |
Game Theory Models for the Verification of the Collective Behaviour of Autonomous Cars. |
FVAV@iFM |
2017 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #9 of 9 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license