Relational differential dynamic logic: Poster abstract

Juraj Kolčák; Ichiro Hasuo; Jérémy Dubut; Shin Ya Katsumata; David Sprunger; Akihisa Yamada

doi:10.1145/3302504.3313362

Relational differential dynamic logic: Poster abstract

Juraj Kolčák
, Ichiro Hasuo
, Jérémy Dubut
, Shin Ya Katsumata
, David Sprunger
, Akihisa Yamada

National Institute of Informatics (NII)
Université Paris
The Graduate University for Advanced Studies
CNRS UMI3527

Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs

langue originale	Anglais
titre	HSCC 2019 - Proceedings of the 2019 22nd ACM International Conference on Hybrid Systems
Sous-titre	Computation and Control
Editeur	Association for Computing Machinery, Inc
Pages	284-285
Nombre de pages	2
ISBN (Electronique)	9781450362825
Les DOIs	https://doi.org/10.1145/3302504.3313362
état	Publié - 16 avr. 2019
Modification externe	Oui
Evénement	22nd ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2019 - Montreal, Canada Durée: 16 avr. 2019 → 18 avr. 2019

Série de publications

Nom	HSCC 2019 - Proceedings of the 2019 22nd ACM International Conference on Hybrid Systems: Computation and Control

Une conférence

Une conférence	22nd ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2019
Pays/Territoire	Canada
La ville	Montreal
période	16/04/19 → 18/04/19

Accès au document

10.1145/3302504.3313362

Autres fichiers et liens

Lien vers la publication dans Scopus

Contient cette citation

Kolčák, J., Hasuo, I., Dubut, J., Katsumata, S. Y., Sprunger, D., & Yamada, A. (2019). Relational differential dynamic logic: Poster abstract. Dans HSCC 2019 - Proceedings of the 2019 22nd ACM International Conference on Hybrid Systems: Computation and Control (p. 284-285). (HSCC 2019 - Proceedings of the 2019 22nd ACM International Conference on Hybrid Systems: Computation and Control). Association for Computing Machinery, Inc. https://doi.org/10.1145/3302504.3313362

Kolčák, Juraj ; Hasuo, Ichiro ; Dubut, Jérémy et al. / Relational differential dynamic logic : Poster abstract. HSCC 2019 - Proceedings of the 2019 22nd ACM International Conference on Hybrid Systems: Computation and Control. Association for Computing Machinery, Inc, 2019. p. 284-285 (HSCC 2019 - Proceedings of the 2019 22nd ACM International Conference on Hybrid Systems: Computation and Control).

@inproceedings{49daadefb7a64583b0a9360b0b14441e,

title = "Relational differential dynamic logic: Poster abstract",

keywords = "Cyber-physical system, Differential equation, Dynamic logic, Formal verification, Hybrid system, Relational reasoning, Theorem proving",

author = "Juraj Kol{\v c}{\'a}k and Ichiro Hasuo and J{\'e}r{\'e}my Dubut and Katsumata, \{Shin Ya\} and David Sprunger and Akihisa Yamada",

year = "2019",

month = apr,

day = "16",

doi = "10.1145/3302504.3313362",

language = "English",

series = "HSCC 2019 - Proceedings of the 2019 22nd ACM International Conference on Hybrid Systems: Computation and Control",

publisher = "Association for Computing Machinery, Inc",

pages = "284--285",

booktitle = "HSCC 2019 - Proceedings of the 2019 22nd ACM International Conference on Hybrid Systems",

note = "22nd ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2019 ; Conference date: 16-04-2019 Through 18-04-2019",

}

Kolčák, J, Hasuo, I, Dubut, J, Katsumata, SY, Sprunger, D & Yamada, A 2019, Relational differential dynamic logic: Poster abstract. Dans HSCC 2019 - Proceedings of the 2019 22nd ACM International Conference on Hybrid Systems: Computation and Control. HSCC 2019 - Proceedings of the 2019 22nd ACM International Conference on Hybrid Systems: Computation and Control, Association for Computing Machinery, Inc, p. 284-285, 22nd ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2019, Montreal, Canada, 16/04/19. https://doi.org/10.1145/3302504.3313362

Relational differential dynamic logic: Poster abstract. / Kolčák, Juraj; Hasuo, Ichiro; Dubut, Jérémy et al.
HSCC 2019 - Proceedings of the 2019 22nd ACM International Conference on Hybrid Systems: Computation and Control. Association for Computing Machinery, Inc, 2019. p. 284-285 (HSCC 2019 - Proceedings of the 2019 22nd ACM International Conference on Hybrid Systems: Computation and Control).

Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs

TY - GEN

T1 - Relational differential dynamic logic

T2 - 22nd ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2019

AU - Kolčák, Juraj

AU - Hasuo, Ichiro

AU - Dubut, Jérémy

AU - Katsumata, Shin Ya

AU - Sprunger, David

AU - Yamada, Akihisa

PY - 2019/4/16

Y1 - 2019/4/16

KW - Cyber-physical system

KW - Differential equation

KW - Dynamic logic

KW - Formal verification

KW - Hybrid system

KW - Relational reasoning

KW - Theorem proving

UR - https://www.scopus.com/pages/publications/85064980218

U2 - 10.1145/3302504.3313362

DO - 10.1145/3302504.3313362

M3 - Conference contribution

AN - SCOPUS:85064980218

T3 - HSCC 2019 - Proceedings of the 2019 22nd ACM International Conference on Hybrid Systems: Computation and Control

SP - 284

EP - 285

BT - HSCC 2019 - Proceedings of the 2019 22nd ACM International Conference on Hybrid Systems

PB - Association for Computing Machinery, Inc

Y2 - 16 April 2019 through 18 April 2019

ER -

Kolčák J, Hasuo I, Dubut J, Katsumata SY, Sprunger D, Yamada A. Relational differential dynamic logic: Poster abstract. Dans HSCC 2019 - Proceedings of the 2019 22nd ACM International Conference on Hybrid Systems: Computation and Control. Association for Computing Machinery, Inc. 2019. p. 284-285. (HSCC 2019 - Proceedings of the 2019 22nd ACM International Conference on Hybrid Systems: Computation and Control). doi: 10.1145/3302504.3313362