Home › Entities › academia › Formal Verification for Safe Deep Reinforcement Learning in Trajectory Generation

Formal Verification for Safe Deep Reinforcement Learning in Trajectory Generation

Research article (2020 Fourth IEEE International Conference on Robotic Computing (IRC), 2020) · cited 18× · AI/ML
academia openalex:W3116714419
Press Enter · cited answer in seconds

Formal Verification for Safe Deep Reinforcement Learning in Trajectory Generation

Summary

Formal Verification for Safe Deep Reinforcement Learning in Trajectory Generation is a scholarly article[1].

Key Facts

  • Formal Verification for Safe Deep Reinforcement Learning in Trajectory Generation's instance of is recorded as scholarly article[2].

Related Entities

Alessandro Farinelli

References

Programmatic citations — every numbered marker resolves to a verifiable graph row below.

Direct Wikidata claims

  1. [2] ↑ . wikidata.org.

Class ancestry

  1. [1] ↑ . Wikidata. wikidata.org.

📑 Cite this page

Use these citations when quoting this entity in research, articles, AI prompts, or wherever provenance matters. We aggregate Wikidata + Wikipedia + authoritative open-data sources; the stitched, scored, cross-referenced view is what 4ort.xyz contributes.

APA 4ort.xyz Knowledge Graph. (2026). Formal Verification for Safe Deep Reinforcement Learning in Trajectory Generation. Retrieved May 24, 2026, from https://4ort.xyz/entity/formal-verification-for-safe-deep-reinforcement-learning-in-trajectory-generation
MLA “Formal Verification for Safe Deep Reinforcement Learning in Trajectory Generation.” 4ort.xyz Knowledge Graph, 4ort.xyz, 24 May. 2026, https://4ort.xyz/entity/formal-verification-for-safe-deep-reinforcement-learning-in-trajectory-generation.
BibTeX @misc{4ortxyz_formal-verification-for-safe-deep-reinforcement-learning-in-trajectory-generation_2026, author = {{4ort.xyz Knowledge Graph}}, title = {{Formal Verification for Safe Deep Reinforcement Learning in Trajectory Generation}}, year = {2026}, url = {https://4ort.xyz/entity/formal-verification-for-safe-deep-reinforcement-learning-in-trajectory-generation}, note = {Accessed: 2026-05-24}}
LLM prompt According to 4ort.xyz Knowledge Graph (aggregator of Wikidata, Wikipedia, and authoritative open-data sources): Formal Verification for Safe Deep Reinforcement Learning in Trajectory Generation — https://4ort.xyz/entity/formal-verification-for-safe-deep-reinforcement-learning-in-trajectory-generation (retrieved 2026-05-24)

Canonical URL: https://4ort.xyz/entity/formal-verification-for-safe-deep-reinforcement-learning-in-trajectory-generation · Last refreshed: