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

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Original language	English
Title of host publication	HSCC 2019 - Proceedings of the 2019 22nd ACM International Conference on Hybrid Systems
Subtitle of host publication	Computation and Control
Publisher	Association for Computing Machinery, Inc
Pages	284-285
Number of pages	2
ISBN (Electronic)	9781450362825
DOIs	https://doi.org/10.1145/3302504.3313362
Publication status	Published - 16 Apr 2019
Externally published	Yes
Event	22nd ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2019 - Montreal, Canada Duration: 16 Apr 2019 → 18 Apr 2019

Publication series

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

Conference

Conference	22nd ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2019
Country/Territory	Canada
City	Montreal
Period	16/04/19 → 18/04/19

Keywords

Cyber-physical system
Differential equation
Dynamic logic
Formal verification
Hybrid system
Relational reasoning
Theorem proving

Access to Document

10.1145/3302504.3313362

Cite this

Kolčák, J., Hasuo, I., Dubut, J., Katsumata, S. Y., Sprunger, D., & Yamada, A. (2019). Relational differential dynamic logic: Poster abstract. In HSCC 2019 - Proceedings of the 2019 22nd ACM International Conference on Hybrid Systems: Computation and Control (pp. 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. pp. 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. in 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, pp. 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).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

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. In 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

Relational differential dynamic logic: Poster abstract

Publication series

Conference

Keywords

Access to Document

Other files and links

Cite this