- Tytuł:
- Encoding inductive invariants as barrier certificates: Synthesis via difference-of-convex programming
- Autorzy:
- Źródło:
- In Information and Computation November 2022 289 Part A
Czasopismo naukowe
Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.