http://live-cristian-vasile.pantheonsite.io/daily1.0 http://live-cristian-vasile.pantheonsite.io/article/power-enzymatic-numerical-p-systems-02022-01-16T19:57Znever http://live-cristian-vasile.pantheonsite.io/article/fast-decomposition-temporal-logic-specifications-heterogeneous-teams2022-12-30T15:54Zyearly http://live-cristian-vasile.pantheonsite.io/article/scalable-and-robust-algorithms-task-based-coordination-high-level-specifications-scratches2024-01-18T23:56Zyearly http://live-cristian-vasile.pantheonsite.io/article/control-architecture-provably-correct-autonomous-driving2022-01-16T20:12Znever http://live-cristian-vasile.pantheonsite.io/article/automata-based-optimal-planning-relaxed-specifications2022-01-16T20:18Znever http://live-cristian-vasile.pantheonsite.io/article/non-prehensile-manipulation-cuboid-objects-using-catenary-robot2022-01-16T20:21Znever http://live-cristian-vasile.pantheonsite.io/article/differentiable-logic-layer-rule-guided-trajectory-prediction2022-01-16T20:27Znever http://live-cristian-vasile.pantheonsite.io/article/learning-risk-aware-trajectory-planner-demonstrations-using-logic-monitor2022-01-16T20:30Znever http://live-cristian-vasile.pantheonsite.io/article/when-terminate-path-non-existence-verification-improves-sampling-based-motion-planning2022-01-16T20:41Znever http://live-cristian-vasile.pantheonsite.io/article/partial-satisfaction-signal-temporal-logic-specifications-coordination-multi-robot-systems2022-12-30T15:24Zyearly http://live-cristian-vasile.pantheonsite.io/article/planning-modular-aerial-robotic-tools-temporal-logic-constraints2024-09-25T16:59Zmonthly http://live-cristian-vasile.pantheonsite.io/article/numerical-p-systems2019-04-30T22:00Znever http://live-cristian-vasile.pantheonsite.io/article/fair-planning-mobility-demand-temporal-logic-requests2022-12-30T15:42Zyearly http://live-cristian-vasile.pantheonsite.io/article/classification-time-series-data-using-boosted-decision-trees2022-12-30T15:49Zyearly http://live-cristian-vasile.pantheonsite.io/article/overcoming-exploration-deep-reinforcement-learning-continuous-control-cluttered-environments2024-05-21T16:22Zyearly http://live-cristian-vasile.pantheonsite.io/article/planning-heterogeneous-teams-robots-temporal-logic-capability-and-resource-constraints2024-10-19T02:35Zweekly http://live-cristian-vasile.pantheonsite.io/article/rewrite-based-decomposition-signal-temporal-logic-specifications2024-05-21T16:56Zyearly http://live-cristian-vasile.pantheonsite.io/article/distributed-fair-assignment-and-rebalancing-mobility-demand-systems-auction-based-method2024-05-21T17:39Zyearly http://live-cristian-vasile.pantheonsite.io/article/time-incremental-learning-temporal-logic-classifiers-using-decision-trees2024-05-21T17:49Zyearly http://live-cristian-vasile.pantheonsite.io/article/mixed-integer-linear-programming-approach-control-synthesis-weighted-signal-temporal-logic2024-05-21T17:59Zyearly http://live-cristian-vasile.pantheonsite.io/article/preferences-partial-satisfaction-using-weighted-signal-temporal-logic-specifications2024-05-21T20:25Zyearly http://live-cristian-vasile.pantheonsite.io/article/cautious-planning-incremental-symbolic-perception-designing-verified-reactive-driving2024-05-21T20:23Zyearly http://live-cristian-vasile.pantheonsite.io/article/implementing-obstacle-avoidance-and-follower-behaviors-koala-robots-using-numerical-p2019-04-30T22:01Znever http://live-cristian-vasile.pantheonsite.io/article/temporal-logic-swarm-control-splitting-and-merging2024-05-21T18:33Zyearly http://live-cristian-vasile.pantheonsite.io/article/energy-constrained-active-exploration-under-incremental-resolution-symbolic-perception2024-05-21T18:41Zyearly http://live-cristian-vasile.pantheonsite.io/article/robustness-measures-and-monitors-time-window-temporal-logic2024-05-21T18:49Zyearly http://live-cristian-vasile.pantheonsite.io/article/symbolic-perception-risk-autonomous-driving2024-05-21T18:59Zyearly http://live-cristian-vasile.pantheonsite.io/article/learning-signal-temporal-logic-through-neural-network-interpretable-classification2024-05-21T19:06Zyearly http://live-cristian-vasile.pantheonsite.io/article/learning-minimally-violating-continuous-control-infeasible-linear-temporal-logic2024-05-21T19:15Zyearly http://live-cristian-vasile.pantheonsite.io/article/iterative-approach-heterogeneous-multi-agent-route-planning-temporal-logic-goals-and-travel2024-10-19T02:32Zweekly http://live-cristian-vasile.pantheonsite.io/article/optimal-control-synthesis-relaxed-global-temporal-logic-specifications-homogeneous-multi2024-10-19T02:31Zweekly http://live-cristian-vasile.pantheonsite.io/article/control-barrier-function-linearizable-systems-high-relative-degrees-signal-temporal-logics2024-10-19T02:31Zweekly http://live-cristian-vasile.pantheonsite.io/article/generalized-mean-robustness-signal-temporal-logic2024-10-31T15:53Zhourly http://live-cristian-vasile.pantheonsite.io/article/perspectives-using-membrane-computing-control-mobile-robots2018-01-05T23:20Znever http://live-cristian-vasile.pantheonsite.io/article/learning-optimal-signal-temporal-logic-decision-trees-classification-max-flow-milp2024-10-19T03:09Zweekly http://live-cristian-vasile.pantheonsite.io/article/integrating-human-swarm-interaction-distributed-robotic-control-system2019-04-30T22:02Znever http://live-cristian-vasile.pantheonsite.io/article/chidori-bioinspired-cognitive-architecture-collective-robotics-applications2019-04-30T22:03Znever http://live-cristian-vasile.pantheonsite.io/article/cognitive-vision-system-ecological-mobile-robot2019-04-30T22:04Znever http://live-cristian-vasile.pantheonsite.io/article/journal-improving-universality-results-enzymatic-numerical-p-systems2022-01-16T18:52Znever http://live-cristian-vasile.pantheonsite.io/article/power-enzymatic-numerical-p-systems2019-04-30T21:57Znever http://live-cristian-vasile.pantheonsite.io/article/development-membrane-controllers-mobile-robots2019-04-30T21:59Znever http://live-cristian-vasile.pantheonsite.io/article/pyelph-software-tool-gel-images-analysis-and-phylogenetics2019-04-30T22:01Znever http://live-cristian-vasile.pantheonsite.io/article/software-system-collaborative-robotics-applications-and-its-application-particle-swarm2019-04-30T22:02Znever http://live-cristian-vasile.pantheonsite.io/article/quotient-criterion2019-04-30T22:04Znever http://live-cristian-vasile.pantheonsite.io/article/poster-reactive-sampling-based-temporal-logic-path-planning2018-01-24T21:33Znever http://live-cristian-vasile.pantheonsite.io/article/human-swarm-interface-design-and-new-control-techniques-swarms-autonomous-mobile-robots2019-04-30T22:03Znever http://live-cristian-vasile.pantheonsite.io/article/membrane-computing-robotics2018-01-24T21:42Znever http://live-cristian-vasile.pantheonsite.io/article/biomathematics-and-bioinformatics-concepts-and-applications2018-01-24T21:40Znever http://live-cristian-vasile.pantheonsite.io/article/cognitive-robots-%E2%80%93-bio-inspired-applications2018-01-24T21:39Znever http://live-cristian-vasile.pantheonsite.io/article/robots-cognitive-vision-case-study-remaster-one-robot2018-01-24T21:38Znever http://live-cristian-vasile.pantheonsite.io/news/ecc2015-sen-invariance2015-08-22T22:33Znever http://live-cristian-vasile.pantheonsite.io/article/sen-invariance-networked-systems2019-04-30T21:55Znever http://live-cristian-vasile.pantheonsite.io/news/auro-20152015-10-26T22:44Znever http://live-cristian-vasile.pantheonsite.io/article/translational-and-rotational-invariance-networked-dynamical-systems2019-09-19T17:33Znever http://live-cristian-vasile.pantheonsite.io/article/persistent-surveillance-unmanned-aerial-vehicles-subject-charging-and-temporal-logic2019-04-30T21:54Znever http://live-cristian-vasile.pantheonsite.io/news/hscc-20162015-12-26T13:02Znever http://live-cristian-vasile.pantheonsite.io/article/decision-tree-approach-data-classification-using-signal-temporal-logic2019-04-30T21:54Znever http://live-cristian-vasile.pantheonsite.io/news/icra20162016-05-23T17:50Znever http://live-cristian-vasile.pantheonsite.io/news/iwbda20162016-05-23T18:10Znever http://live-cristian-vasile.pantheonsite.io/news/phddefence20162016-05-23T17:58Znever http://live-cristian-vasile.pantheonsite.io/news/phdgraduation20162016-05-23T18:08Znever http://live-cristian-vasile.pantheonsite.io/news/iser20162016-06-22T18:35Znever http://live-cristian-vasile.pantheonsite.io/article/automata-theoretic-approach-vehicle-routing-problem2019-04-30T21:55Znever http://live-cristian-vasile.pantheonsite.io/news/postdoclids2016-06-22T19:07Znever http://live-cristian-vasile.pantheonsite.io/news/cdc20162016-08-19T14:30Znever http://live-cristian-vasile.pantheonsite.io/article/time-window-temporal-logic2020-01-10T21:01Znever http://live-cristian-vasile.pantheonsite.io/article/dynamic-routing-energy-aware-vehicles-temporal-logic-constraints2019-04-30T21:53Znever http://live-cristian-vasile.pantheonsite.io/article/utilizing-signal-temporal-logic-characterize-and-compose-modules-synthetic-biology2019-04-30T21:51Znever http://live-cristian-vasile.pantheonsite.io/article/localization-ground-robot-aerial-robots-gps-deprived-control-temporal-logic-constraints2018-01-24T22:32Znever http://live-cristian-vasile.pantheonsite.io/article/genetic-systems-engineering2019-04-30T21:52Znever http://live-cristian-vasile.pantheonsite.io/article/control-belief-space-temporal-logic-specifications2019-04-30T21:45Znever http://live-cristian-vasile.pantheonsite.io/news/wafr20162016-12-02T16:54Znever http://live-cristian-vasile.pantheonsite.io/news/tcns-20162016-12-02T16:58Znever http://live-cristian-vasile.pantheonsite.io/article/provably-correct-persistent-surveillance-unmanned-aerial-vehicles-subject-charging2022-12-30T16:48Zyearly http://live-cristian-vasile.pantheonsite.io/news/ieee-fellow2016-12-02T17:07Znever http://live-cristian-vasile.pantheonsite.io/news/rss-2017-spr2017-04-04T12:00Znever http://live-cristian-vasile.pantheonsite.io/news/iros20172017-10-30T19:13Znever http://live-cristian-vasile.pantheonsite.io/article/multi-vehicle-motion-planning-social-optimal-mobility-demand2019-04-30T22:22Znever http://live-cristian-vasile.pantheonsite.io/article/minimum-violation-scltl-motion-planning-mobility-demand2018-01-24T21:12Znever http://live-cristian-vasile.pantheonsite.io/article/language-guided-sampling-based-planning-using-temporal-relaxation2022-01-16T20:01Znever http://live-cristian-vasile.pantheonsite.io/article/sampling-based-synthesis-maximally-satisfying-controllers-temporal-logic-specifications2018-01-24T20:47Znever http://live-cristian-vasile.pantheonsite.io/article/reinforcement-learning-temporal-logic-rewards2018-01-24T20:59Znever http://live-cristian-vasile.pantheonsite.io/article/compositional-and-contract-based-verification-autonomous-driving-road-networks2022-12-30T16:49Zyearly http://live-cristian-vasile.pantheonsite.io/article/provably-correct-persistent-surveillance-unmanned-aerial-vehicles-subject-charging-02018-01-24T21:54Znever http://live-cristian-vasile.pantheonsite.io/article/reactive-sampling-based-temporal-logic-path-planning2019-04-30T21:56Znever http://live-cristian-vasile.pantheonsite.io/article/identifying-cancer-type-specific-oncogenes-and-tumor-suppressors-using-limited-size-data2018-01-24T22:07Znever http://live-cristian-vasile.pantheonsite.io/article/control-belief-space-temporal-logic-specifications-using-vision-based-localization2020-01-10T20:59Znever http://live-cristian-vasile.pantheonsite.io/news/icra-20182018-01-24T22:22Znever http://live-cristian-vasile.pantheonsite.io/news/icra-2018-pioneer-award-daniela-rus2018-01-26T16:18Znever http://live-cristian-vasile.pantheonsite.io/news/acc-20192019-04-30T18:48Znever http://live-cristian-vasile.pantheonsite.io/news/rss-20192019-04-30T18:50Znever http://live-cristian-vasile.pantheonsite.io/news/infer2controlnips2018-workshop2019-04-30T18:56Znever http://live-cristian-vasile.pantheonsite.io/news/ijrr-firm2019-04-30T18:58Znever http://live-cristian-vasile.pantheonsite.io/news/cdc-20182019-04-30T19:01Znever http://live-cristian-vasile.pantheonsite.io/news/wafr-20182019-04-30T19:04Znever http://live-cristian-vasile.pantheonsite.io/article/sampling-based-temporal-logic-path-planning2019-04-30T21:56Znever http://live-cristian-vasile.pantheonsite.io/article/temporal-logic-control-pomdps-label-based-stochastic-simulation-relations2019-04-30T22:28Znever http://live-cristian-vasile.pantheonsite.io/article/arch-comp18-category-report-stochastic-modelling2019-04-30T22:25Znever http://live-cristian-vasile.pantheonsite.io/article/toward-specification-guided-active-mars-exploration-cooperative-robot-teams2019-04-30T22:21Znever http://live-cristian-vasile.pantheonsite.io/article/metrics-signal-temporal-logic-formulae2019-04-30T22:26Znever http://live-cristian-vasile.pantheonsite.io/article/counterexample-guided-safety-contracts-autonomous-driving2019-04-30T22:35Znever http://live-cristian-vasile.pantheonsite.io/article/arithmetic-geometric-mean-robustness-control-signal-temporal-logic-specifications2020-01-10T21:11Znever http://live-cristian-vasile.pantheonsite.io/article/dynamic-risk-density-autonomous-navigation-cluttered-environments-without-object-detection2020-01-10T20:58Znever http://live-cristian-vasile.pantheonsite.io/article/learning-plan-logical-automata2020-01-10T20:54Znever http://live-cristian-vasile.pantheonsite.io/article/learning-plan-logical-automata-02019-05-12T20:11Znever http://live-cristian-vasile.pantheonsite.io/article/minimum-violation-scltl-motion-planning-mobility-demand-02019-04-30T23:20Znever http://live-cristian-vasile.pantheonsite.io/article/robot-localization-implemented-enzymatic-numerical-p-systems2019-04-30T21:59Znever http://live-cristian-vasile.pantheonsite.io/article/scratchs-scalable-and-robust-algorithms-task-based-coordination-high-level-specifications2022-12-30T16:49Zyearly http://live-cristian-vasile.pantheonsite.io/article/average-based-robustness-continuous-time-signal-temporal-logic2022-01-16T20:05Znever http://live-cristian-vasile.pantheonsite.io/article/multi-robot-routing-and-scheduling-temporal-logic-and-synchronization-constraints2022-01-16T20:06Znever http://live-cristian-vasile.pantheonsite.io/article/deep-bayesian-nonparametric-learning-rules-and-plans-demonstrations-learned-automaton-prior2022-01-16T20:08Znever http://live-cristian-vasile.pantheonsite.io/article/learning-and-planning-logical-automata2022-01-16T19:05Znever http://live-cristian-vasile.pantheonsite.io/article/reactive-sampling-based-path-planning-temporal-logic-specifications2022-01-16T19:12Znever http://live-cristian-vasile.pantheonsite.io/article/specifying-user-preferences-using-weighted-signal-temporal-logic2022-01-16T19:24Znever http://live-cristian-vasile.pantheonsite.io/article/vehicle-trajectory-prediction-using-generative-adversarial-network-temporal-logic-syntax2022-01-16T19:29Znever http://live-cristian-vasile.pantheonsite.io/article/learning-explainable-trajectory-generator-using-automaton-generative-network-agn2022-01-16T19:34Znever http://live-cristian-vasile.pantheonsite.io/article/probabilistic-coordination-heterogeneous-teams-capability-temporal-logic-specifications2022-01-16T19:38Znever