Abstract is missing.
- Falsification of hybrid systems using symbolic reachability and trajectory splicingSergiy Bogomolov, Goran Frehse, Amit Gurung, Dongxu Li, Georg Martius, Rajarshi Ray 0001. 1-10 [doi]
- Inner and outer reachability for the verification of control systemsEric Goubault, Sylvie Putot. 11-22 [doi]
- Numerical verification of affine systems with up to a billion dimensionsStanley Bak, Hoang-Dung Tran, Taylor T. Johnson. 23-32 [doi]
- SReachTools: a MATLAB stochastic reachability toolboxAbraham P. Vinod, Joseph D. Gleason, Meeko M. K. Oishi. 33-38 [doi]
- JuliaReach: a toolbox for set-based reachabilitySergiy Bogomolov, Marcelo Forets, Goran Frehse, Kostiantyn Potomkin, Christian Schilling. 39-44 [doi]
- Temporal logic robustness for general signal classesHoussam Abbas, Yash Vardhan Pant, Rahul Mangharam. 45-56 [doi]
- Interface-aware signal temporal logicThomas Ferrère, Dejan Nickovic, Alexandre Donzé, Hisahiro Ito, James Kapinski. 57-66 [doi]
- Revisiting timed logics with automata modalitiesHsi-Ming Ho. 67-76 [doi]
- On the decidability of reachability in linear time-invariant systemsNathanaël Fijalkow, Joël Ouaknine, Amaury Pouly, João Sousa Pinto, James Worrell 0001. 77-86 [doi]
- On the decidability of linear bounded periodic cyber-physical systemsRuggero Lanotte, Massimo Merro, Fabio Mogavero. 87-98 [doi]
- Facetal abstraction for non-linear dynamical systems based on δ-decidable SMTNikola Benes, Lubos Brim, Jana Drazanová, Samuel Pastva, David Safránek. 99-108 [doi]
- Characterizations of safety in hybrid inclusions via barrier functionsMohamed Maghenem, Ricardo G. Sanfelice. 109-118 [doi]
- On topological entropy and stability of switched linear systemsGuosong Yang, João P. Hespanha, Daniel Liberzon. 119-127 [doi]
- Robust invariant sets generation for state-constrained perturbed polynomial systemsBai Xue 0001, Qiuye Wang, Naijun Zhan, Martin Fränzle. 128-137 [doi]
- A complete characterization of the ordering of path-complete methodsMatthew Philippe, Raphaël M. Jungers. 138-146 [doi]
- Formal verification of neural network controlled autonomous systemsXiaowu Sun, Haitham Khedr, Yasser Shoukry. 147-156 [doi]
- Reachability analysis for neural feedback systems using regressive polynomial rule inferenceSouradeep Dutta, Xin Chen, Sriram Sankaranarayanan. 157-168 [doi]
- Verisig: verifying safety properties of hybrid systems with neural network controllersRadoslav Ivanov, James Weimer, Rajeev Alur, George J. Pappas, Insup Lee. 169-178 [doi]
- Gray-box adversarial testing for control systems with machine learning componentsShakiba Yaghoubi, Georgios Fainekos. 179-184 [doi]
- A new simulation metric to determine safe environments and controllers for systems with unknown dynamicsShromona Ghosh, Somil Bansal, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, Claire Tomlin. 185-196 [doi]
- Formal verification of weakly-hard systemsChao Huang, Wenchao Li, Qi Zhu 0002. 197-207 [doi]
- Verification and synthesis of interconnected embedded control systems under timing contractsMohammad Al-Khatib, Majid Zamani. 208-217 [doi]
- Evrostos: the rLTL verifierTzanis Anevlavis, Daniel Neider, Matthew Phillipe, Paulo Tabuada. 218-223 [doi]
- TIRA: toolbox for interval reachability analysisPierre-Jean Meyer, Alex Devonport, Murat Arcak. 224-229 [doi]
- Mixed-integer formulations for optimal control of piecewise-affine systemsTobia Marcucci, Russ Tedrake. 230-239 [doi]
- Efficiency through uncertainty: scalable formal synthesis for stochastic hybrid systemsNathalie Cauchi, Luca Laurenti, Morteza Lahijanian, Alessandro Abate, Marta Kwiatkowska, Luca Cardelli. 240-251 [doi]
- pFaces: an acceleration ecosystem for symbolic controlMahmoud Khaled, Majid Zamani. 252-257 [doi]
- StocHy - automated verification and synthesis of stochastic processes: poster abstractNathalie Cauchi, Alessandro Abate. 258-259 [doi]
- Formal methods for computing hyperbolic invariant sets for nonlinear systems: poster abstractGuillaume O. Berger, Raphaël M. Jungers. 260-261 [doi]
- Sherlock - A tool for verification of neural network feedback systems: demo abstractSouradeep Dutta, Xin Chen, Susmit Jha, Sriram Sankaranarayanan, Ashish Tiwari. 262-263 [doi]
- SReachTools: A MATLAB stochastic reachability toolbox: demo abstractAbraham P. Vinod, Joseph D. Gleason, Meeko M. K. Oishi. 264-265 [doi]
- Predictive monitoring for signal temporal logic with probabilistic guarantees: poster abstractXin Qin, Jyotirmoy V. Deshmukh. 266-267 [doi]
- Invariant, viability and discriminating kernel under-approximation via zonotope scaling: poster abstractIan M. Mitchell, Jacob Budzis, Andriy Bolyachevets. 268-269 [doi]
- Structured reward functions using STL: poster abstractAnand Balakrishnan, Jyotirmoy V. Deshmukh. 270-271 [doi]
- Moore-machine filtering for timed and untimed pattern matching: poster abstractMasaki Waga, Ichiro Hasuo. 272-273 [doi]
- Encrypted control system with quantizer: poster abstractMasako Kishida. 274-275 [doi]
- Equalized recovery: Weakening invariance for control and estimation: poster abstractKwesi J. Rutledge, Sze Zheng Yong, Necmiye Ozay. 276-277 [doi]
- Combining LTL monitoring with model invalidation for improved fault detectability analysis for hybrid systems: poster abstractLiren Yang, Necmiye Ozay. 278-279 [doi]
- Safety control with preview automaton: poster abstractZexiang Liu, Necmiye Ozay. 280-281 [doi]
- Poster on safety characterization in hybrid inclusions using barrier functionsMohamed Maghenem, Ricardo G. Sanfelice. 282-283 [doi]
- Relational differential dynamic logic: poster abstractJuraj Kolcák, Ichiro Hasuo, Jérémy Dubut, Shin-ya Katsumata, David Sprunger, Akihisa Yamada. 284-285 [doi]