Abstract is missing.
- Scalable Underapproximative Verification of Stochastic LTI Systems using Convexity and CompactnessAbraham P. Vinod, Meeko M. K. Oishi. 1-10 [doi]
- Global Almost-Sure Reachability in Stochastic Constant-Rate Multi-Mode SystemsFabio Somenzi, Behrouz Touri, Ashutosh Trivedi. 11-20 [doi]
- From Dissipativity Theory to Compositional Construction of Finite Markov Decision ProcessesAbolfazl Lavaei, Sadegh Soudjani, Majid Zamani. 21-30 [doi]
- Bisimulations, logics, and trace distributions for stochastic systems with rewardsDaniel Gburek, Christel Baier. 31-40 [doi]
- Reach Set Approximation through Decomposition with Low-dimensional Sets and High-dimensional MatricesSergiy Bogomolov, Marcelo Forets, Goran Frehse, Frédéric Viry, Andreas Podelski, Christian Schilling. 41-50 [doi]
- Under-Approximating Reach Sets for Polynomial Continuous SystemsBai Xue 0001, Martin Fränzle, Naijun Zhan. 51-60 [doi]
- Accurate reachability analysis of uncertain nonlinear systemsMatthias Rungger, Majid Zamani. 61-70 [doi]
- Clock Allocation in Timed Automata and Graph ColouringNeda Saeedloei, Feliks Kluzniak. 71-80 [doi]
- Model Checking Bounded Continuous-time Extended Linear Duration InvariantsJie An, Naijun Zhan, Xiaoshan Li, Miaomiao Zhang, Wang Yi 0001. 81-90 [doi]
- A New Perspective on Quality Evaluation for Control Systems with Stochastic TimingMaximilian Gaukler, Andreas Michalka, Peter Ulbrich, Tobias Klaus. 91-100 [doi]
- Stabilizing switched nonlinear systems under restricted switchingAtreyee Kundu. 101-110 [doi]
- Lyapunov Design for Event-Triggered Exponential StabilizationAnton V. Proskurnikov, Manuel Mazo Jr.. 111-119 [doi]
- Multi-Layered Abstraction-Based Controller Synthesis for Continuous-Time SystemsKyle Hsu, Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck. 120-129 [doi]
- ROCS: A Robustly Complete Control Synthesis Tool for Nonlinear Dynamical SystemsYinan Li, Jun Liu 0015. 130-135 [doi]
- Compositional Synthesis for Symbolic ControlAntoine Girard. 136 [doi]
- Constructing Control System Abstractions from Modular ComponentsEric S. Kim, Murat Arcak, Majid Zamani. 137-146 [doi]
- Formal Guarantees in Data-Driven Model Identification and Control SynthesisSadra Sadraddini, Calin Belta. 147-156 [doi]
- From Uncertainty Data to Robust Policies for Temporal Logic PlanningPier Giuseppe Sessa, Damian Frick, Tony A. Wood, Maryam Kamgarpour. 157-166 [doi]
- Specifying Timed Patterns using Temporal LogicDogan Ulus, Oded Maler. 167-176 [doi]
- Efficient Parametric Identification for STLAlexey Bakhirkin, Thomas Ferrère, Oded Maler. 177-186 [doi]
- Parameter Invariant Monitoring for Signal Temporal LogicNima Roohi, Ramneet Kaur, James Weimer, Oleg Sokolsky, Insup Lee. 187-196 [doi]
- Localizing Faults in Simulink/Stateflow Models with STLEzio Bartocci, Thomas Ferrère, Niveditha Manjunath, Dejan Nickovic. 197-206 [doi]
- Algorithms for exact and approximate linear abstractions of polynomial continuous systemsMichele Boreale. 207-216 [doi]
- State Estimation of Dynamical Systems with Unknown Inputs: Entropy and Bit RatesHussein Sibai, Sayan Mitra. 217-226 [doi]
- Improving validated computation of Viability KernelsBenjamin Martin, Olivier Mullier. 227-236 [doi]
- Modeling the Impact of Vehicle Platooning on Highway Congestion: A Fluid Queuing ApproachLi Jin, Mladen Cicic, Saurabh Amin, Karl Henrik Johansson. 237-246 [doi]
- Graphical Modeling of Hybrid Dynamics with Simulink and StateflowAkshay Rajhans, Srinath Avadhanula, Alongkrit Chutinan, Pieter J. Mosterman, Fu Zhang. 247-252 [doi]
- DSValidator: An Automated Counterexample Reproducibility Tool for Digital SystemsLennon Chaves, Iury Bessa, Lucas C. Cordeiro, Daniel Kroening. 253-258 [doi]
- Averist: Algorithmic Verifier for Stability of Linear Hybrid SystemsMiriam Garcia Soto, Pavithra Prabhakar. 259-264 [doi]
- ROCS: A Robustly Complete Control Synthesis Tool for Nonlinear Dynamical SystemsYinan Li, Jun Liu 0015. 265-266 [doi]
- Graphical Hybrid Automata with Simulink and StateflowAkshay Rajhans, Srinath Avadhanula, Alongkrit Chutinan, Pieter J. Mosterman, Fu Zhang. 267-268 [doi]
- DryVR 2.0: A tool for verification and controller synthesis of black-box cyber-physical systemsBolun Qi, Chuchu Fan, Minghao Jiang, Sayan Mitra. 269-270 [doi]
- Formal Controller Synthesis from Hybrid ProgramsVladimir Sinyakov, Antoine Girard. 271-272 [doi]
- Compositional Synthesis of Interconnected Stochastic Control Systems based on Finite MDPsAbolfazl Lavaei, Sadegh Soudjani, Majid Zamani. 273-274 [doi]
- Compositional Synthesis of Finite Abstractions for Networks of Systems: A Dissipativity ApproachAbdalla Swikir, Antoine Girard, Majid Zamani. 275-276 [doi]
- Contract based Design of Symbolic Controllers for Vehicle PlatooningAdnane Saoud, Antoine Girard, Laurent Fribourg. 277-278 [doi]
- Recent Results in State Estimation of Dynamical Systems with Inputs under Bandwidth ConstraintsHussein Sibai, Sayan Mitra. 279-280 [doi]
- CODEV: Automated Model Predictive Control Design and Formal VerificationNicole Chan, Sayan Mitra. 281-282 [doi]
- Sim-ATAV: Simulation-Based Adversarial Testing Framework for Autonomous VehiclesCumhur Erkan Tuncali, Georgios E. Fainekos, Hisahiro Ito, James Kapinski. 283-284 [doi]
- Major Computational Breakthroughs in the Synthesis of Symbolic Controllers via Decomposed AlgorithmsEric S. Kim, Murat Arcak, Mahmoud Khaled, Majid Zamani. 285-286 [doi]